There is no uncertainty about the existence of the lunar or martian lava tubes
Asteroid impacts have punched holes into them that have allowed us to peek down into them from orbit. They are there and have been observed. The only question is what they look like inside- how large the open area is....