Yves:
So the 12GHz board likely has a divide by 512 so the hardware sees the same frequency range as the 3GHz board and the X4 scales it up to the correct frequency for display.
At 18MHz the 12GHz board output would output a bit over 35MHz.
Thanks for posting the text file with the necessary changes.
ed