Cleaning a mechanical (ball) mouse in 2023