we did that--stopped by when our ship landed. it looked very nice, won a little in the casino, but the deli lunch at the property was pricey. maybe there are good deals during the summer?
kids, granny and mom were on a cruise last decemeber and all the kids loved it. ages 5-12.
have a great time whatever you do!