Great crew, good diving- what more can you ask for? Thanks for a great holiday.