В целом согласен, на каменоломню не похоже, но возможно некоторые театры действительно изначально были каменоломнями, во всяком случае где то я подобное читал или слышал.