Apparently also used the class transform he has access too either /shape or /setplayerclass, to give himself a medigun & heal people while in friendly while on mario kart along with the sentry in enemy spawn.
First of all. Thank you for reporting this in. If they keep going, from my view a long term ban (thinking of either 2 weeks - 1 month) for abuse of commands and exploiting should teach them a lesson. Whether or not their donator rank would be removed isn't up to me, but if they keep abusing them, it does sound like a logical solution.