My dad remembers visiting somewhere in Austin a few years ago that was like a big workshop with lots of woodworking tools and metalworking tools. He specifically remembers lots of people working under one roof and a giant metal lathe. Does anybody know what he might be talking about? Google wasn’t helpful. Thank you!