I don’t know the story.
I thought all the HAT folks knew that story. I’ll have to tell you at the next get together.