Taking the family to the Hard Rock Hotel in June. Traveling with another family, so we all have someone to hang out with except our 11 year old son. Any tips specifically to entertain our 11 year old son AT THE RESORT (really into sports and minecraft, if it helps)? He feels like it'll be boring for him since there are no other boys and I'll probably be bombed the whole time. Don't really need tips on excursions, we have those set already. Thanks.