@nojo: Which reminds me--thank you thank you thank you--for giving us an edit button on our comments.