Все сходится на том, что первые каменоломни, из которых строились еще Владимиро-Суздальские храмы 12-го века (может, и Лавра в 15-м веке) были, действительно, где-то в районе Мячкова. Выходили они, скорее всего, на Москва-реку. Насколько я понимаю, пока наука таких каменоломен не знает?