Hi everyone,
Have not seen a reference to either the Fenton patent nor the Fruehof
paper, which discuss using WAAS for timing with a dish antenna.
    http://www.freqelec.com/gps_gnss/waas_for_telecom_wp_5-06.pdf
    https://www.google.com/patents/US6445340
kind regards,
    Björn