Some websites give 5611m elevation to this peak.The closest highest point seems to be Cerro del Rincón. On Googlemap, the lowest col is between 4420m and 4440m elevation.