Hello Brendan,
You made a mistake - it fetched Euros 10,049 ($14,250) which is a flaming high price!! I was estimating that this Navy Luger was going to fetch between Euros 7k-8k, but I guess that money is not an issue to some people such a as Tom who does not feel the recession!! He is loaded with money and Navy Lugers, and $4/gallon does not hurt him!
Cheers,
Albert