I am a newbie when it comes to an interest in owning a newer pin (my newest so far is a Funhouse). However, I can easily look up what was the retail price of $9,999 for Royal here:

https://www.chicago-gaming.com/coinop/medieval-madness

If I were to pay $19,000, I would not be getting ripped off. I would be choosing to pay this much.

I would like a MM Royal. What is most discouraging, more so that the dollar amount, is the idea that I would be paying way more for something used than was the price of it new not all that long ago. That is something that would not make me feel good about the purchase. For $10,000 - $12,000, I would buy it. I would be willing to pay a bit more for something used than what it sold for new. However, I would not want to pay $6,000 - $9,901 more. That is just me, and the seller is correct. All about market value and the seller's goal is to get as much as possible.