SAORSAT on Lyngsat but how to convert the frequency??

I checked Lyngsat com and lo and behold RTE saorsat is shown in all its glory but the frequency is 20185L so the question is how is this downconverted to a frequency I can input to my hd receiver. And how do we know lyngsat are showing the correct frequency. I got my ka band lnb and dying to give it a go. got this from another board

"SAORSAT Tp on Ka-Sat = 20185 MHz
Ka Band LNB LO = 18750 MHz
IF Frequency = 1435 MHz (20185 MHz - 18750 MHz)

Ku receiver frequency displayed = 11185 MHz (IF 1435 MHz + Ku Lo-Band LO 9750 MHz)
scan that frequency with SR 25000, FEC 1/2, QPSK, DVB-S2."

but saw another post that aopogee did and frequency was different! Is all this done to confuse us??

Is the above correct?

gbcullen