Doubly well for me now. The HP power supply works fine and the Tek scope had a shorted tant which I had in stock and needed a tidy up where someone had burned a couple of pads off fixing it. The scope and service manual together cost me £10 (!).
Best. Day. Ever
Usually stuff I buy tends to explode immediately.