GNR is far more valuable than DE JP. Very uneven trade unless at least $2k in cash is added on top.
Here's what GNRs are selling for: https://pinside.com/pinball/market/classifieds/archive?s=1&ad_machine_key=224
And DE JP:
https://pinside.com/pinball/market/classifieds/archive?s=1&ad_machine_key=267
I think the $3k+ DE JP's are on the high side. The last few I saw at shows were in the mid $2k range.