Okay so the nice folks here at work have decided to procure an H-P 214 pulse generator cheap off ebay. And guess what, it
doesn't work!

Quick examination revealed the output tubes were gassy - the getter looks like chalk. And here's the even worse problem...
the tubes seem to have absolutely no marking on them! We found & downloaded a manual on the 'net but of course the parts
list section is missing.

So... does anyone perchance know what those tubes are? Industry-standard number would be great, but even an HP number would
be a start.

Thanks!

Eric Law