Rare game. Only issue would be the condition of the electronics. I assume it is working, and if it is a 7/10 - 8/10 all round it would be worth around $2000. I have only ever seen one (overseas).
If he decides to sell the game, I know a buyer (not me) who would be interested.