A diamond from Mars pitches the Martian user-serviceable radio.