Testing a VacuFlush vacuum switch

This video describes a method for testing the vacuum switch on the Vacuflush toilet system used on narrowboats.
The vacuum pump that I used was a Broco DC 12V Micro Vacuum Pump Electric Mini Air Pump ( £8.39 from Amazon ).which I powered from a variable power supply.
I used the gauge from a Neilsen vacuum and fuel pump test tool.
I believe the switch is intended to operate at 10-12 inches ( Hg ) of Vacuum, so the switch turns off at this level.
If the microswitch needs to be replaced it is a Square D9007 A01 model which is available from various component suppliers.

[@markjacobsen3860]

I'm in the US having problems with Vacuflush, would cleaning the inside of the switch be any benefit. My system keeps running and if I tap on the tank it will stop. Could you please give me the micro switch replacement info.