I bought this one from a UK seller, I think Nigel did the same
https://ebay.us/m/Z8XAIG
Yes, that's the seller.
There are sometimes choices in which route to go with old broken parts.
In this case, considering the age of the switch and the use it's had already,
replacement with a new one is a sound investment despite the fiddly challenge
to fit it, as described.
Nigel
