Thanks, anyone have a recent stay at either Portofino or Hard Rock? If so, would appreciate a quick review of your stay and if you used/or even looked at the pool areas - your take on which one would be best for college-age 'kids'. Thank you!