I have a friend of a friend who has a Flash Gordon and he is moving and can't take the pin with him so he wants to sell it. I've never seen the machine, but it is in a home environment so I assume it is in average condition. What would be the average price for one. Thanks for any help.