On the Teide summit hiking tour the cable car is used to get up to the upper cable car station at 3550m above the sea level and then down after hiking to the summit on 3718m above the sea level. You don't need to book cable car tickets by yourself. The guide will have prepared return cable car tickets for you. The cost is 40 Eur per adult and half price for children from 3 to 13 years old. Book Hiking Teide volcano with permit included Tenerife now just with Booking Deposit on TripsPoint