Yeah I admire it really. Some fast bidding going on there.
Swindon is 75mi from me so not terrible. 1.5 hours up the M4. Would have been worth it for that particular piece of kit. A untested/dead E3631 can go for £150. A working one, £500 or so.
Plan B being executed now though, which was a cheaper fallback. Make the E3630A into a precision power supply. Annoyingly the 20v adjustment is not a multi-turn pot so it's difficult to set a precise voltage. The E3630A is fundamentally the same as the E3631A (and the same as HP power supplies about 30 years older!) but a bit less beefy and not computer controlled. So £13.22 plonked on an RS order for a 10 turn bourns 3590S pot.
And a much worse mission begins as well. Hunt down a Keysight 5041-8621 knob. They sell them for £1.54 apparently but you have to invoke a sales drone to get one which usually means the price escalates to at least £15. At that price I might just gouge the flange out of the one that's already in it with the Dremel and hope I don't screw up the job too badly
I am slightly tempted to build my own E3631A! Would be a good project.