That specific fisheye example is almost definitely VX1000 MK1. If the colours and audio don't give it away, you can tell by comparing to the VX2000 longlens in the same clip, where the VX has a few pixel width vertical black bars on both sides (something that all VX1s have).
VX2:
VX1:
Around the same time one of the TWS filmers (maybe Jon Holland or maybe Jason Hernandez at a different point in time) was using a VX2 with MK1 Intermediate, which looks like a MK1, fits on a VX2, and is wider than a MK2. The fisheye in this would be an example of that: