I would have countered at $17K-$20K and scooped up whatever the number they sent next.
And a LOT of these "I received an offer of $XX,XXX and refused it" statements are pure BS (usually fraudulent offers that never panned out), and are used purely to promote and hype the owner's domain. This is especially true with claims of refused 5-figure offers on 3-word/term domains.