I think the most important reason for using the lava tubes is that the surface dust is toxic and incredibly abrasive. People would already be tunneling underground for a place to live and work that is surface dust free. The air locks and isolation rooms to strip the dust off of people working out on the surface would take up a lot of the room in any original surface structures. The size of the original structures would be limited by what could be carried up there in the first ships. It would be far easier to build light weight living shelters in preexisting tunnels than to build radiation, thermal, and impact resistant living and working quarters on the surface.
Elon Musk wants to build a thousand space ships to move a work force to Mars. Building the ships, the infrastructure, and they would probably be launched from space not from Earth, requiring more support infrastructure, all that is going to take a long time. Before that happens people will be going to Mars and will need a place to stay. An orbiting hotel looks good in the stories, and would fit the needs, but I don't think we will be seeing huge orbiting hotels orbiting Mars anytime soon.