Hello all, I'm on the fence between these two machines, Tekken and Aladdin are both on Facebook near me right now. They're both about 300-350 each. Supposedly, the sellers are firm on price. This will be my first machine, and I'm not sure about paying too much for something. Both are in good condition from what I can tell and have the keys, manual and tokens. My only alternative was to order something from PachisloMarket.com but I was curious if anyone else has ever used this site before.