it might be time to sell an extra.
Dunno. I have four 1911s, but none are an "extra." Got all of them at a good deal (hence the buy); a deal I'll never see again, too.
What I'm not seeing is another situation like where we were a few years ago, when you could sell your $800AR for $1800 during the panic, but than have to wait most of a decade to be able to replace it at $600. That was a one-off, and you had to be in it for the long haul. And willing to "do without" for a huge long time.
To me, and this is just my 2¢, my "read" of it; any profit will be in tens of dollars, not hundreds, and when--not if--you replace what you sell, it will be at a more expensive, not a less expensive price. So, not even a wash.
First off, inflation has not gone away. I'm reasonably confident that $100 in 2020 is only going to be about $87-92 in 2021. So, let's say you had a $300 in an RIA revolver. Let's say you get $400 for it. What happens to the c-note when a new RIA is $500?
Economics can be very cruel.