Don't need a ps, but Flame Tree BBQ has nice tables by the water and you can sometimes spot alligators swimming right next to the seating area.
Tusker House sometimes has musicians playing right there - lots of drumming (don't go if you've got even a twinge of a headache, but otherwise lots of fun).
Buffets. Kids that age love to go help themselves to their own food. It doesn't have to be a character buffet, but I agree that a character buffet can be fun.
He would probably find the chef's antics at Teppanyaki fun to watch.