Electric flush has suddenly just stopped working. Press button but nothing happens, not even the noise from the pump. Thetford are providing a replacement switch but would like to know if anybody else suffered the same problem. If so please can you tell me if you found the fault and what rectified it. These things always happen just as you are going on a 2 week holiday!