Thanks for answering some questions I had but probably ought to at least ping the man in question.
Whoops! Thank you for pinging the other guy. I did on the other post, but not here.
You are right, I should have.