La localidad se conoce también con el nombre popular de "Ventodrigo".