"You are not Joe so that comment shouldn't have been made. Apologies.
#80 | POSTED BY JEFFJ"
Accepted. (And to be clear, before someone starts searching the wayback machine (I'm looking at you, Hans!), I call a lot of people around here a lot of unflattering names. But I try to only do that to people who deserve it, including those who start it. So I don't think you will find me calling, say, Eberly a -------, even though we usually disagree with each other. I put you, Jeff, in the "don't deserve it" group, so I was surprised by your comment.)