Did it work again after it cooled down? Or you tried that, and it still won't go?
Has he noticed before now, has it slipped after it gets hot in thicker grass?
That's how mine in the 2372 was. Cold, it would cut, pull like normal, but each time I would get to a part of the lawn where the grass was thicker, it would stop blade rotation.
So the next time I mowed, I started where I usually ended, and it worked "good", until it got hot, then it would stop. I would have to wait till the engine was cool to the touch, start the tractor, flip the switch, and away it would go again.
Got worse over time, then bought the Xtreme clutch. A+ NO brainer, built like a tank. Installed it on the tractor, and I don't think the original one was very good for years. Cutting shit with this clutch was effortless, seemed like clippings were really flying out that Haban...
https://xtremeope.com/
=