Finally made it to the top of the mountain. The brochure says the time required to make it this far is about 26 minutes from the cable car station. I believe we took significantly more time than this.