The mercury switches are now replaced by ordinary micro switches. I helped a colleague replace one of these a few weeks back. They are generally reliable, but after many years service, the mechanics get tired and dusty and sticky. A separate float could be wired in to offer independent protection.