[dpkirchner]

We can't be sure of that -- what did their boss say? That's all that matters.