Magic Mouse redesign is coming, but the current one is just fine