Thanks, Jodyand! You're right.
Rick--It's always better and wiser to fix a defective switch than remove it. Might go for years with no problem, but it would be a sad situation if someone were to operate your mower not knowing it had been disabled and end up hurting a child or pet. Thanks for understanding!