Years ago a couple came up for sale. They were K32's. I don't even know if you can get the K80 "in the white" ?
John Allem has both. He wants big money for 32s and wants to broker the engraving for the K80 which would be expensive as well. I know where a K32 receiver is but it’s not for sale.