Кстати - mina (Taurmina) в переводе с итальянского "мина, шахта, рудник, копь"

Может и вправду карьер, окультуренный потомками под "театр"?