Pues fíjate, yo nací en Segovia y tampoco lo sabía. Por aquellos años era un crío y no me enteré del asunto.
Para el que tenga curiosidad, aquí hay un listado anual de los restaurantes con estrella Michelín en España y Portugal desde 1929:
https://www.cancela.org/index.php/articulos-y-estadisticas/444-2016-12-02-19-32-57