20130530 tech.mobiles: Samsung Galaxy S4 mini: 9 things to know