I think the price here may be a tad high, but as it's somewhat a more rare pin, maybe it's right. It's hard for me to see a system 11 over 2k unless it's diamondplated or a banzai, ww or eatpm.
Here was a cleared, restored one that just sold, listed at $2500: https://pinside.com/pinball/forum/topic/for-sale-swords-of-fury-williams-1988-1990
I don't know. All in all it's not a bad price. GLWTS