The Wavetek 144 HF frequency generator has an unusual power receptacle that I cannot identify. The link references the manual, which does not name the part. I'm not sure it isn't proprietary. Here is an image of the socket.
Is it an IEC 6320-C5 connector?
Failing finding a replacement, any advice on the best/safest way to adapt a regular power tail for this device?
Update
My friends and I discussed the options presented here, and finally decided that we would be able to modify the inlet using an IEC inlet and connector cable, trimming the IEC components rather than the nice case of the Wavetek. Thanks to Brian Drummond for the advice.