Inspired by Dave's blog on the topic, I bought one of those decommissioned FE-5860A Rubidium frequency standards from eBay, and put it in a vented plastic box with a switching power supply. The box cover is aluminum and serves as the necessary heat sink. I found an inexpensive HP 5315B on eBay, too, and planned to use the Rubidium standard as its external time base. I'm pleasantly surprised that the 5315B (vanilla model -- no TXCO or oven timebase options) is so stable that with some patience I was able to calibrate it to the final digit. So, it looks like I won't need to use the standard except for periodic tune-ups.
This frequency standard takes about a minute to warm up and lock on the 10Mhz output. Until it locks, the red LED is lit, and its output is unstable.