Don’t Kirbys from that time usually go for significantly more? I remember a cordless model went for close to 10k last year.
There’s also rumors of a somewhat rich mysterious buyer (with a barn??) that buys up very rare stuff for insane amounts of money on ebay every so often. I could be misremembering. Very competitive bidding when something rare pops up.