I agree about the fact that the cost is quite correct.
I have some internal Mauser documents that demonstrate how it was difficult for Mauser to keep the engagement with Interarms about the price of the Mauser Parabellum.
In the end Mauser produced only about 23.000 standard Mauser Parabellum and the contract with Interarms was dropped in 1976. Then Mauser moved in the commemorative business (1975-86) and special production (IWA models) in this way it was able to increase the price of the Parabellum that was not so far from the current Krieghoff price.
To me 10K euros, although a big amount of money, it is not a bad price.
I have to speack with my wife...
Cheers,
Mauro