Cool. I bought a couple of HP Z3801A recently for home lab use. Also have an Arbiter GPS disciplined clock at work as a frequency standard for my RF equipment; they use one of the Wenzel OCXOs that has the lowest phase noise you can buy.