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.
“
The Savage 99 Pocket Reference”.
All models and variations of 1895’s, 1899’s and 99’s covered.
Also dates, checkering, engraving.. Find at
www.savagelevers.com