Even in the US on Gunbroker or the like, a $1200 asking price would not be that much out of line, frankly. It might not move as quickly as a rifle priced at $850-1000. But if it caught the eye of the right collector or (assuming the condition of the bore is comparable to the rest) shooter, it might.

As a point of reference, the latest price for Krags sold out of the stores of the Civilian Marksmanship Program is $1250.

IMHO unless the bore is just a sewer pipe or there’s some unpictured damage, I don’t think that price should greatly deter you.