Looks pretty rare, only 300 made and only 11 pinsiders have it. Price seems consistent with other *asking* prices over the last 4 years:
https://pinside.com/pinball/market/classifieds/archive?s=1&ad_machine_key=203
It looks pretty cool for an EM, but I sure wouldn't pay that much for it.