I'd just like to say thank you to everyone who has helped. I haven't asked any of you whether you mind having your name published here, so I am keeping it simple.