Mileage is confirmed. I've been in touch with the Irish dealer who sold it; they will also send me the service history (one owner, bought 1/1/2007; serviced Aug 2008, Jan 2010, May 2012, Jun 2013 and Aug 2015. The odometer reading at the last service was 24239 km (15,150 miles). I won't tell you how little I paid for it, but it was cheap cheap CHEAP (no service history, needing minor bodywork, mileage unverified). Even allowing for £900 for the bodywork and a machine polish (finished tomorrow or Friday), and a few other bits and pieces, it's very much a result.
Pics to follow. I'm a happy bunny, believe me.