John Carmack (Armadillo Aerospace) at NASA HQ