Sounds like the right solution for the wrong problem
If the OT was repaired by an Elektron repair centre then they wouldn’t necessarily have taken or used your PSU, but your OT would have been powered up with a PSU that worked
It does sound like your PSU is goosed in teh way mine was - so they wouldn’t be repairing or testing that - meanwhile you’d be needing your OT to get its PSU barrel (probably) tested and fixed
I’m not sure having your OT sent in is a sound plan - but if that’s what they suggest based on your explanation then run with it i guess - it does seem a little odd though to ship an OT when it seems more likely to be just the PSU
- ps presumably Mk1, that’s what those numbers above relate to (wrt 6v 3a)