Tim+ was thinking very hard :
Its very unlikely to be specially designed for that machine and getting an
identical replacement shouldnt be too difficult.

Tim

It is a standard unit, can be had for a few pence. There will be a
model number on the switch, so easy to look up for a replacement.