$12500 is a very serious amount of moolah... anyone that pays this for any pinball be it blinged with LED, polished to mirror or gives blow jobs has either so much money that it has no real value anymore, or has rocks in their head... ridiculous asking price
Pinballs giving blow jobs......maybe 12.5k is cheap. Site it and watch the cash roll in.........
