Sandia Peak cable car.