Old Stone Building - Pump House? Los Pinos

Riding the KX250 in an area I had previously not gotten a chance to explore. Los Pinos. Found this old stone building. Possibly a pump house of some sort? Unsure. This a clip of longer video "Los Pinos" if interested in seeing the whole ride.