Cool.

"As we have gotten ever-better imaging of the planet Mars, we have seen that there are lava tubes scattered widely over the planet. They are quite easy to pick out."

***

"The gravity on Mars is much lower so lava tubes there scale accordingly," said Boston. "Not only does Mars have enormous examples of volcanism, but it has big whompin' lava tubes. The biggest lava tube on Earth is about 90 kilometers (56 miles) long, in Hawaii."

"That's the record-holder on Earth, but typically when you look at these features on Mars they're hundreds of kilometers long. And the diameters are equally great. On the average they're 3 to 10 times the size of the average diameter on Earth. They are truly enormous."

Most excellent! We can build a bunch of Brosz' cool lava tube cities all over Mars!