Anyone know of a source for these 20V regulators? Slightly off topic (apologies) but it's for an old Revox B77 and good old Revox want to charge me 15ukp for one! rob.