En conjunto, los dos locales constituyen el "Parque de las Pedrerías".