Tired Retired, I take it you are divorced?
Been married 41 years, I probably would sell the Carbine's first.
$600 would have been a lot of money for a carbine in 1983 for me. Don't know if I would have paid that much back then. With an inflation table I found (Inflation Calculator | Find US Dollar's Value from 1913-2009) it say it would only be $1340 today. Which would be a bargan price. But I can't believe prices have only gone up 125% in 26 years.
I bought a 1982 car new for $11,000, today that make and model sells for $35,000+ that's 318%. That would put it at about $2500. That would seem more realistic to me.