So I've never been to Texas pinball festival before and plan on buying my first machine ( or two ), and I'm wondering how buying is set up? Do the machines set up have prices if they're for sale or is there a special area for the ones that are for sell? Or is it an auction? Thanks for the heads up guys