For it to land on the store shelf with that price tag on it? Sure...especially since I do think that's an HS stock.
But for the store to offer him that much for it? Nope...more like 500.
Everybody is throwing out prices without explaining whether they mean the retail asking price at the store, the price the store will pay the current owner to buy the rifle outright, or the money he is able to realize from a consignment sale. At each store, these will be 3 very different numbers...and they will vary a bit from store to store...and perhaps a bit more depending upon the locality.
I'm kinda holding my breath a little, waiting to see if this rifle turns into one of those near-legendary firearms that lives on the EE so long, with so many BTT's, that it gains honorary status as an actual CGN member.