Make your own decisions.
Weather something is too big or too small for your tractor has alot to do with terrain and just what you plan to cut.
Just look at the conditions they were cutting with that TS12. I have do doubt your tractor would preform equally as well.
Cutting brush over 6' tall, or trying to pull that thing up and down hills.....probably not a good match. As I mentioned, I have an 8' mounted cutter. I cut alot of stuff that looks just like that video.....12" pasture grasses. Many times I wish I had a bigger mower.
When it comes to a cutter.....My opinion is simple. Buy the biggest cutter that your tractor can "physically" handle. And by that, I dont mean HP. I mean get the biggest that you can lift or pull around your property. IF you get into an area that you dont have enough HP, you can always slow down (infinitely with a HST), or take a smaller bite.
There is a limit to how fast you can go with a smaller cutter, and you cannot make a smaller cutter take a bigger bite.
Id rather mow wider and at a slower speed, than mow narrow at a faster speed.