For $20 more, I'd go with the HRH. It's a closer walk to/from the parks.
That way, one of you could go over with the 13 year old to ride the coasters, while the other does the kiddie stuff with the 4 year old.
The HRH rates have been going up, so you midas well go now before they're out of reach. Plus the hotel seems to "lose" reservations during the busy months. There shouldn't be a problem in November. After making your reservation, be sure to call to make sure they still have it, and bring your confirmation paper.
Then when you come back next year, you can visit the RPR.