Sí que se llama ahora Velilla de la Peña. Han cambiado hace poco el nombre y yo me he fijado el otro día en el cartel.
