Tan
I don't think you're nuts - only you know what you value your own names at and how those prices fit in with your now personal circumstances.
That said, personally, I would have taken the $10k on REV.tv and countered for BOSS.tv
As for the comment that one of the commenters here has never heard of $10k .tv sales to domainers. I know this may be quite a shock to most people outside the small group who specialise in .tv names but there are quite a lot of five figure sales - even among domainers. I personally have had at least three $10k plus .tv sales to well known domainers here at namepros. None of those sales were for two-letter names.
And yes, as mentioned earlier, USA.tv was recently verified as being sold for $125k (to a domain investor) so high five / low six figures sums are readily achievable.
Finally, if you have the cash and patience to wait then I wish you the best. Personally, I'm getting more in the 'bread today' than the 'jam tomorrow' mode - helped on by the incredible fall in the Pound since Brexit. I own US.tv, as an example, and would easily now sell for high five figures, whereas a few years ago I turned down $70k as being way below my value expectations.
Whatever you do - its nice that you are in a position to have the dilemma of whether to take $20k or leave it on the table