the possibility for $800 shipped would be a steal,i just had mine restored just in time for christmas and it's being played non stop since.bought it as a project.
played this as a teen when it first came out,great game for sure,nice music too.
ther's a brand new video of "bad girls" on youtube from "bro,do you even pinball?" good to watch.
good luck with the sale.