Has anyone done a star gazing trip to Teide on Tenerife with kids? How long does it take? Seem to be few companies that take kids. Also expensive - I have a 12 year old who counts as adult. Any recommendations as to best way to do it?