AMD have always traded and sold 2nd hand pinball machines of every manufacturer.
Quite often they will have fully reconditioned machines out back on display with prices and available to play.
Their stock comes from site operators and collectors who have traded in or just sold outright.