Thanks for the help, but those are scam sites. Do not buy from them. I managed to find a replacement part. I got in touch with a supplier in Australia, and he initially said he'd run out - but to my delight (a few days later) he stumbled upon one lying among a bunch of other parts. So I...