If I'd urgently needed it back, I'd have had to spend more, yes.
If they really matter, extend registration for 10 years and keep adding one annually.
The bigger issue is that if your registrar sends a lot of spammy emails (ahem godaddy) you might miss the message reminding you to replace your expired cards.
Or maybe decreasing by very small amounts to show them the direction the negotiations are going to go if they keep it up.
I am not even sure how would I go about placing a bid.
It is an uncommon name not in English dictionary. Possibly my namesake bought it 20 years ago and has done absolutely nothing (not even placed parking on it).
How could I even contact them?
Also, I'd hate to pay a broker $100 just to be told that they can't do anything.
Now commission based I could see myself doing that.
Then again I am not willing to go 5 figures for a vanity domain - more like mid 4 figures just like the guys in the article.