“Can anyone tell me how long the mouse is? My son currently has one that is 5" and wants to get another that size and I cannot find the spec anywhere!!”