a short camping trip to Mt. Pinos