On the 531xx counters the priority is the external input, the OCXO option, and the (terrible) on board crystal. I seem to remember coming across a menu option for forcing a particular source.