Mars Global Surveyor utilities (for radio occultation)