I'll add that crater formation has been experimentally shown to happen. Scientists (like my friend Dan Durda) take a rock, load it into a big gun, and fire it at a platform built like the Moon's surface. They fire at different angles, using different rocks with different compositions, and make the surface have different properties as well. They have found that the craters formed are indeed like those on the Moon. It's pretty conclusive.