It is likely that for this application, the ADC is contained inside of a multipurpose "RFIC" that also handles tuning, downconversion, demod, etc. There would be no need for a standalone high performance ADC for this application, the bandwidth requirements and frequencies are extremely low...