Lavadero del Pico de la Villa, TINEO