Appreciation of the time and effort given by all the experts to this group
is, I am sure, much appreciated by all.
Let's all of the questioners and enquirers show our thanks by saying "Hear,
Hear" as replies to this message.