Am looking at next years holidays for October (Just back from Cyprus so got the blues - its snowing here, eek) and thinking Puerto Del Carmen looks like a good option for the family, and the diving sounds pretty good too. A quick google indicates 12 dive shops