Alternativer Name aus historischen Gründen:
"Steinbruch Wanko" (Name des früheren Eigentümers)
Dieser Name wird auch firmenintern vom heutigen Betreiber und im lokalen Sprachgebrauch verwendet.

Quelle: kürzliche Besichtigung.