There was a third option to get to the top besides the gondola and walking: there was a funicular, which marched strait up the incredibly steep hillside. Unfortunately, it didn't seem to be operating. Perhaps they only open it on weekends to handle peak visitor traffic (haha, no pun intended).