The mouse doesn't work well enough on the terminal facing the wbnonmetal. I'm removing it and putting a sign on it so users know not to bother. Suggest a "Misc" problem section somewhere on Coral.