If the Super Mario were mine, I'd be on the phone immediately, saying, "let's do the trade".
When you get the F14, remove the backglass & immediately replace the batteries. Advise the new owner of Sper Mario to drill out the lock & replace batteries as well.
Put the $870 away in a PINBALL PURCHASE only fund. You'll have a start on funding your next game.