Doesn't matter what he paid for it because price fluctuates depending on time and location it was bought.
I bought my 10/22 in Nov during Black Friday for $179; They cost $227 at Walmart, and normally $249 or more retail. Right now you can probably get $300 +/- for it.
If you really don't have a use for it, then sell it now and buy something else/save for later. The price will just come down when it becomes more available again. My suggestion is sell it and buy a shotgun instead; you can get a good shotgun for the same price and not have to worry about finding ammo.
just my 2c.