Thanks Michael.

That's very useful to know. I did used to know this, but age, (and memory in particular) has got the better of me! :)

Best,

Tom