Good luck with the repair, I did see the detailed repair thread on the EEVblog, also it's good to know the transformer can be easily replaced with a standard part if it's damaged as a result of the short.
I've had mine about 10 years and it's to blame for starting my HP test equipment collection, its a late 1978 (or later) one with a factory fitted 10544-60011 oscillator.
I wish these counters were more common over here, they are more plentiful is the US, but aren't cheap to buy or ship over here. Also I do regret not buying a nice early 1960's one in the UK, it reappeared with a cut down case as a clock a few weeks later (they didn't even use the original display tubes).
David