Oops...just saw it was for 4 days.
For the 7 day, category 12 we were quoted $799 each.
Then, we just got it reduced for Florida Resident rates and up to category 11 (not that it matters).
I've never stayed above a category 10 so I'm not sure about your deal.