In the 2010 mr pinball price guide that machine books out at $350. It is made by playmatic a spanish pinball maker. nearly none of there machines book over the $350 mark.
In the end go try it see what it worth to you.
Condition is everything!
Has it been played twice a month consistantly? If not that's the kiss of death on em pinball machines!