We are looking to visit Mt Teide in November 13. We are going by 342 bus from Costa Adeje, it leaves at 09:15. I have ascertained how to obtain tickets for the Cable Car and permits from the National Parks Office but am unsure what time slots to book. Does anyone know how long the bus journey takes? And also as the return bus departs around 15:40 will we have time to have a good look around. Finally TITSA promote a fairly cost effective bus and cable ticket, is this purchasable from them beforehand, I can't see a link that suggests it is? Many thanks in advance for any assistance.