Paul - it's a convertible, so that makes it worth more. It's also the 3.2L 'Evo' model made from 1996 on which are worth more than older 3.0L model with much less power and only a 5spd gearbox. It's also only done 120000km (about 75k miles) which is low for its age.
If you take a look on www.mobile.de you'll see that these go for around €15000 in Germany which has the biggest market for them and the cheapest prices.
s/h cars in Portugal generally go for significantly more than anywhere else in Europe simply because the new prices of cars are so much higher than the rest of Europe because of the draconian car tax...not to mention 21% VAT which is levied ontop of the car tax.
As an example a new M3 Convertible here costs €91K. In the UK the price is £44K, about €64K, nearly €30K less.
You still have to pay the tax even if you import a car from abroad - it reduces for the age of the car but not by much. If I wanted to import a 5yr old BMW 330d from Germany I'd have to pay about €10K in import tax plus around €500 in various registration fees.
Michael.