In my experience, mini USB was more robust than micro USB. Micro USB ports would wear out for me more quickly. Is there any benefit to micro over mini other than the fact that it is a bit smaller?