Here are confirmed dealer costs from a former Big Box retailer that briefly sold these on their website. So the question is how much profit is built into this for Stern? My guess would be to take 20-30% off these numbers below to find your 'all in' cost.
Stern Pinball Ac/Dc Pro Arcade Pinball: $4100
Stern Pinball Avatar Pro Arcade Pinball: $3999
Stern Pinball The Rolling Stones Pro: $4000
Stern Pinball The Rolling Stones Limited: $5199