I found a data sheet for the replacement, it is an SCR. Very clued friend found several on eBay and I paid $2.89 USD including postage for 10 pieces! Other sites were offering @ up to £10 single plus postage.
Seller today says item despatched today. Doesn't say whether by air or container ship from - China