He - there you go Tim - variety is certainly the spice of all things including pinball. I still think your mate would be better to add a few more dollars & get a great-playing pin with a cool theme. Certainly easier when it comes time to flip. What were they asking?
$2600 with a new $900 DM display installed. Not sure if it was negotiable and the pics weren't great which I always find a bit Suss.
Always the way with pinball one mans trash is another mans treasure. Just have to try it for yourself and make a call. I also find it always takes me time to get into a new pin so hard to judge from a few test games.