I have never seen that machine before and it is really neat. How much are they asking for it?

I do have a similar machine. My Jennings Challenger has either .05 or .25 capabilities. You can play one or both coins and each side of the machine pays out seperately.