I've booked a Eastern cruise for 2003, but can't decide if I want to change it. Has anyone been to St. Thomas or St. Martin with kids. How about Key West? I think my kids would enjoy the extra stop on Key West, but being Disney nuts, they might want the extra day at sea. Boy 10, girl 4. Help me figure this out please!