Would you pick this or WCS?

Hi, i'm a Pinball newbee. How much do you think this game is worth in europe? Im currently looking for one and someone in my area sells one for 4500€. Game works fine and every lamp is LED, but has some very obvious signs of wear on the outside and a few inside. Is this a fair price? I know a remote diagnosis is hard, but i realy dont know the prices of old colector pinball machines. I think for me it's worth 4000€.

Shouldn’t the car be red?