If you go to Maplin in the UK or Radio Shack in USA, they have a selection of rocker switches costing peanuts. I chose one that looked nearest to the size needed, bought some to replace the original and they were almost an exact fit. I just needed to open up the hole where the switch fits ever so slightly using a round file, push in the new switch and crimp on the appropriate spade connectors, job done.