Using an external transformer in "bucking" mode , has all the problems of a normal stepdown transformer,but none of the
advantages.
You could fit another transformer,but it would mean a fair bit of butchery,as dear old HP have the secondary connected straight
into the PCB.
I like HP gear when its working,but they do some weird things. I have a function generator with a faulty PSU,where they used a 3
layer board--no reason why,they just felt like it!!
The upshot is that a quite simple fix becomes difficult to perform.
In one of their Noise & distortion test sets quite some time back,they fitted a mains fuse holder that shorted on an internal
partition. The easy fix was to glue a piece of perspex on the partitition,which we did,but not HP!
The thing was a pig anyway,as it had automatic nulling which took forever!
VK6ZGO