Nice desoldering gun. I love mine (different model Hakko) and use it all the time.
Bought a scrap HP 5340A for parts I need to get mine running.
I need the older transformer with the 155V winding for the nixies, and this also comes with the otherwise unobtanium smaller Option 001 transformer to power the optional OCXO, along with a bunch of other bits to replace missing parts in my unit.
I'll spin up my own Opt 001 power supply PCB and the OCXO is available online as it was used in multiple HP stuffs over the years.