Oh yeah. BIG problem in this area. Had one in my personal shop at home (neighbor). L4701. Guy says he's put 7 fan belts on it in 5.5 hours usage. I get it, put a belt on it, run it for hours on end at full throttle and it never gives issues. He gets it, makes it less than one hour, belt breaks. Well I finally got one of his old belts. Had gnaw marks all over it. Problem isolated. Guy hates cats (kills them). That is not my problem. But oddly they didn't touch the wiring.
There's all sorts of things that will help keep them away, but they "help"-but don't "solve" the problem-if you have that problem. Cats are the most efficient. Besides, they're also fun to watch them. Just don't feed 'em very much cause they'll get spoiled and quit mousing. I have a couple wild cats that hang around and I haven't seen a rodent within a mile radius aside from headless body that the cats sometime bring to me. For some reason they eat the head off and occasionally bring me the remainder. Maybe for praise or something but then I reach down to pet them, and they run off. As said, they're pretty wild. Yes I had them fixed. Catching them to do so was interesting.
Peppermint oil, dryer sheets, lemon juice, baited snap traps, couple kids with BB guns, I've done it all. But cats are the most effective.