Despite it being a non-peak, I feel this should be named Rincon Peak, and that peak named something else. What, with this being the high point for the range.