Some friends and I are putting together a trip to Key West in September, right after Labor Day. I am seeking any advice and pointers about what to do there, which operators you have had good expereince with, any resturants or hotels to use or avoid. I am specifically planning on diving the...