True, true, clutch may not be in good shape at that high mileage and gearbox too. If he dropped it to around £2k it would be very tempting. There are S4 01E's on German ebay for around 600euros if the gearbox packs in completely.
Hope someone here buys it