Since posting the above, I have replaced the circuit board under the buttons on the top of the tank. The flushing pump works but the tank full light is still on whenever the tank is in place - full or otherwise. The float in the tank seems to be working freely and the magnet is in place. I'm baffled by this. Can anyone help please?