Quoted from metallik:He easily meets copyright fair use claims for initially making and displaying the game. Problem is, if he sells it he's making money (even if a pittance compared to the time invested), which triggers more scrutiny. However, the biggest problem isn't even copyright, it's trademark violation. You simply cannot make and sell things using another company's trademarks without their permission. Even onesies-twosies. As long as it stays under the radar he's probably fine, but again, once money is involved, things can get complicated fast. Notice that all the Matrix sales have been off the radar, so to speak...
Simply rewrite the for-sale listing and the purchase contract when you do have a buyer:
For sale: 5 super-polished mirror glaze awesome steel pinballs - $10,000
... Included with sale (for free) is a Goonies-themed pinball machine to use them in.
Intellectual Property (IP) claims muted. Done.
-Brian