Eventually, the scroll ball of Mighty Mouse stopped working.
I could not but do autopsy. Sigh…
Anyhow, it’s working well now.