Quoted from LTG:They were on Stern's website briefly for $2400 when they first came out.
Since then I've only seen them at shows, Stern's set up. Or at distributors show rooms.
A few have been sold for around $6K, according to Pinside posts.
LTG : )
Found one for a mere $5465.54
https://www.thailandpooltables.com/stern-pinball-alley-sign.html
oh, it's Thailand so shipping shouldn't be a problem!