Yes, we do not know, and I also wish we were able to put a bow on this one.
Most likely though, it was pulse. I was unsuccessful in finding any information on his system.
But I'd be willing to put a few bucks on it in a gentleman's bet.
I was more focusing on not unfairly impugning TCS' reputation without a fair investigation.
Greg