mobile

Like many of you have probably experienced by now, there is a rather bizarre and annoying bug on 5.0.1. What's going on can be seen here: http://forum.xda-developers.com/htc-...r-bug-t3053149 . The stock music player, as well as many others, likes to randomly screw up with the timing and give a ridiculous number, or at times give no times at all! I don't understand how something big big can simply be overseen. I'm still on 100% stock, wondering if there are any potential fixes for this. Has any one dived into this? Is it possible to install the KitKat stock music player to see if it has the same issues? Is it about time I ditched stock and jumped to the custom ROM's?