I went and picked up the ATV yesterday from the shop. $320 later they fixed the coolant leak, tightened the belt, and reset the limited. Everything works, though I didn’t really test it. They guy drove it out and it looked fine to me. I loaded and unloaded it without an issue.
I wish I could have done something with it, but it feels like this was a fairly specialized issue, especially since the local shop couldn’t fix it and I had to run it to the dealer.
Time for chores.