In fairness, actual libertarians are pretty cool folks. It’s the big-L “Libertarians” (i.e. anarchists) who need to head for Mars.