NASA selects GIMLI to investigate a possible lava tube beneath Marius Hills pit · Digg