Any one know the Specifications (inside hub diameter, outside diameter, thickness) of the DEC RKO7K DC Disk Pack Platters? Thanks for your time, George Wiegand ICS65 at SBCglobal.net