Mystery TO-3 socket with 4 pins

Hi all,

I'm trying to find manufacturer and MPN, and ideally a datasheet, for a 4-pin TO-3 socket. Maybe someone can help? It seems like solder tabs or 3 pins are more common and I haven't had luck so far.

The socket is used on the PSA2 board of an Audio Precision System One.

I don't see any markings on the socket itself so that didn't help. I searched around online and haven't been able to turn up anything either. It looks like the socket at G24727 - (Pkg 4) Compact TO-3 Heavy Duty Socket, but I emailed and they didn't have any information. It also looks like like the image at TO-3PCHD: Major Brands : Socket for TO-3 Case Heavy Duty PCB Mount : ICs & Semiconductors (also see https://www.jameco.com/Jameco/Products/MakeImag/2289655A.jpg), but I again emailed and they don't have information and the linked datasheet is bogus (they told me they will fix it).

So... I'm at a loss. Does anyone have information (ideally a datasheet so I can check dimensions) on a socket that seems to be this one, or at least compatible? Thanks!
 
G24727B.jpg