Y la más aceptada es la que se le atribuye Florentino Castro Gutiérrez, que en una noche de farra, en diciembre de 1951 saldría la idea de bautizarla como "San Miguelito".