I have 2 Rb GPSDOs and a few more OCXO ones, but had never heard of CSAC modules and thought that the inevitable next step would be an HP 5061A Cs clock or later model.

So now you have me going to eBay in search one but all it turns up are BM25CSAC carburetors! What are the magic keywords to use in my search?