Yes, Buddy, you are right, the Lenzie Williams clips are from TOC but I also think that there are some solo performances from previous TOC years of Ben Lo---I could be wrong but I also thought that one of the years Ben Lo played the taiji sword or maybe it was C.C. Chen.
The clip that someone posted on Polaris, I believe, is from Ben Lo's teaching tape. I got a copy of it in the 1990s.