A decent cased set for $1700'ish and a 99G in 250 for $675, sounds like there were a couple that went for good prices - depending on condition.
Glad you got to go, always fun to sit and watch if nothing else.
If the chairs were more comfortable sure.
It's kind of fun. Nice crowd and I'll go again at some point.