If it were me, I’d inspect this very closely. There are essentially two price sets. One is for an original, and the other is for imports with US parts substituted. Import marks, signs of re-barreling, different bolts, other parts, different markings on the cover, etc.
That price seems steep to me. I’ve seen prices for very good ones in the $325 range in the past - I don’t know about now.
Many of the rifles of that era are rebuilds.