Does anyone know how to get hold of him? Alternatively can anyone recommend an honest, trustworthy car mechanic?(I have Michael's number) thanksCaroline -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.cs.huji.ac.il/pipermail/rbs/attachments/20110512/9694ab1e/attachment.html>