IMHO, Hot Wheels is one of those under appreciated pins that in the future people will be wishing they picked up. I know I missed an opportunity on a trade deal a while back. Got a chance to play one finally at Allentown. It was my favorite pin of the show. Speed , sounds, looked well built. “Loaded” NIB’s go in the high 6k range. So the op is pricing to get most of his money back, certainly not something I have not tried to do in the past .
If he was interested in trades, I would be trying to work something out . Anyway, this game and Oktoberfest look very interesting to me. Wish I had room for both.
GLWTS