hiked san jacinto w mar. took 10 hours total.