Our family of 5 (kids 13, 11 and 9) will be at WDW for a week at the end of August/beginning of Sept. I’ve been contemplating adding 3 nights/2 days in at Universal at the end as we’ve never been. This thread has me sold! So now how to decide between Royal Pacific, Hard Rock and Portofino?? We are completely clueless when it comes to Universal, so appreciate any thoughts or recommendations for resorts with kids our ages. Thanks!!