I paid $5950 brand new in box plus a shaker motor which was $180 (I self fitted that and it was placed inside the box for me to do myself otherwise u pay an extra $40 or so from memory if AMD fit it), then u pay for delivery....u might be lucky n find it might have had a shaker motor fitted ?? who knows...would be a bonus...and u will save apx $180 delivery as well...
either way, offer him $5000 cash...since he did win it...and its technically second hand...also, get the Stern box if u can..it helps later to sell with the new box which alot of buyers like to keep...note - no one has sold a second hand AC/DC Pro anywhere that I know of in Australia...everyone has kept them....so its a test case so to speak to see what u can get it for...good luck...