[amsat-bb] Re: GHz receivers and Mars