Hi there
Problem solved (but by the repairman, not me)!
Tipped the machine up to empty out the water in the tank (there was very little in there), and with it tipped at 30 degrees onto its rear feet there is a plastic cover over the base which levers off with a screwdriver - the float...