Depends on a number of factors and spec is not one of them for me.
If it was Mint, Had Full History and has been done every Year regardless of Mileage, Had its 2nd Timing Belt, Decent branded Tyres.
Probably £11000 or thereabouts on a Private Sale.
Not sure if you have seen my build thread but I paid £10500 for mine but its a Manual, Didn't want a DSG anyway. Viewed another ED30 prior to buying mine with 30K miles up at £12000 but was very average in condition with sketchy Service History.