For the collectors - Solano has just listed about 14 PRS-10 Rubidium clocks on ebay, from the "TC" collection.
Untested. They look clean. All come with either a simple cable or a full break-out board.
Might have been manufactured around 2000.
The price might be quite negotiable.