Oh, thank you. I assumed that it was a passholder discount, probably because the percentages are around what I'm used to getting for passholder.
I live near Miami, so I've always gotten a seasonal pass and wasn't quite aware of the public discount. Is the passholder discount usually bigger...