En el "Diccionario toponímico del concejo de Gijón" de Ramón d'Andrés, publicado por el Ayuntamiento de Gijón en 2008, se puede leer acerca del origen del nombre de El Molinón: