Probably around $4000-4500 or more for each. Prices keep increasing on used titles.
Look at the previous sales to help determine value
https://pinside.com/pinball/market/classifieds/archive?s=1&ad_machine_key=1156
https://pinside.com/pinball/market/classifieds/archive?s=1&ad_machine_key=741