I recently acquired a Wavetek 145 that worked for a few hours then shut off. I've done no debugging to it, but my guess is the output transistors are fried. I already have a function generator, and enough other pieces of equipment to fix.
A full service manual for it is available online, so that is definitely a plus. Unfortunately shipping from the US will probably be higher than what I'd offer you, but if you find no leads locally, PM me.