Xp1000 buzzing noise

I have a buddy who has a 2018 Ranger XP1000 that will continue to have a high pitched buzz noise from the belt area. It will do it for a while.

this is the text he sent me:
Will shut the key off and whatever this high pitch whine is will continue after the key is off. This same whine starts when you initially turn the key on and normally turns off shortly after turning the key off. When it does this I have to cycle the key back on, then off again and it’ll shut off.

I had him post a video to YouTube. Which is below.