Yeah you'll only see them change hands in private, and not to people that cared about their standing in the Pinside community (there are a ton of pinheads that are not on Pinside and don't give a damn about the drama on here).

Part of the reason rare games are worth so much is the collective social positive value that the community places on them. Enough damage has been done with these two games that a decent chunk of the vocal community will never let the grudge go and jump at any opportunity to negatively influence the sale of any examples of these games. So I wouldn't expect them to fetch big bucks because they'll probably never make it to the public marketplace.