To fully enable an external frequency source:

1) Attach a 10MHz external frequency source to the BNC port (2) on the rear of the receiver. 

2) Disable clock steering (Receiver Configuration -> Tracking -> Clock Steering)

3) Enable External Frequency (Receiver Configuration -> General -> External Frequency)