 From a sort of space industry standpoint, it's important to note that quite a lot of SpaceX's activity is in Texas anyway, in Boca Chica near the border with Mexico, but not all of it. So it's an interesting development for America's most valuable private company. And Musk has long touted his dislike of government and regulation, as you know.