It’s a thing. They have nothing to add but just can’t scroll on by.Not what the OP has. He has a International. Not sure why it matters what he calls a rotary cutter when he specifically asked about International cutters.
Maybe this will help. It's old but.....I have an International 8' pull type bushog. I can't find any information on a model , any help ??
In my part of the country, they were bush hogs before there was a Bush Hog. It's just what they have always been called and always will be. My bush hog is green.If you seriously want help,stop calling it a Bush Hog.