Come on Mike, you know you want to......
I think I'd want to know more before buying though. The comment of play in the water pump concerns me because normally on the Europa these last for ages, much better than on the Elan where people tighten up the drive belt too much and overload them. The Europa is a fixed tension belt and IIRC there were very few problems with the pump, so for one to show play at a reputed 15k is unusual.