Things are nuts now, so it’s hard to say what someone might pay for almost anything. Those are nice rifles, and good ones, but I’d never pay a grand for one myself. Might go $800 at most for a used one. If I couldn’t get one for that much, I’d get something else.
You’ll never get anywhere near that price from a dealer. They’re in business to make money, and even now they’d be hard-pressed to squeeze a profit out of your rifle if they paid more than $500 or so. Local sale, or maybe selling here is your best bet to maximize the return, but you may need patience. Personally, I’me very reluctant to ship anything of real value now because of all the issues I and others have had.
Good luck.