I need a custom component for ExpressPCB : A 9-pin tube socket. Or just the dimensions needed. The only thing I've been able to find are socket pictures, no spec sheet.