I owned the same rifle in mint used condition with no box.
It was traded for a Winchester I had to have.
I wouldn’t think twice at $2500
Thanks for sharing!