We reached Mars with probes 50 years ago. I’m not in any way trying to denigrate the amazing achievements of the Mars rovers. But the fact remains that a human crew could have done all that and more (like drill a hole) in a few weeks at best.