The city of Bastrop is studying the idea of building pedestrian tunnels to connect the area’s trail system, and it wants Elon Musk as its partner. The total length would be less than a half mile, Bastrop City Manager Sylvia Carrillo said. Carrillo said Bastrop officials approached Musk’s tunneling firm, the Boring Company, about partnering on the idea. Carrillo said Boring has already built one pedestrian tunnel from headquarters to the manufacturing facilities for SpaceX, Elon Musk’s space company, across the road. Representatives with the Boring Company did not respond to a request for comment.