1997 mobile home roof wind damage and few hails, Patch or Claim ?

[Yenlan Patton]

We have 1997 mobile home property sits in 10 acres land that we rent it out. Recently we had storm and blew off the roof shingles off, we have a roofer came out and checked he found couple spots hail damages. Is it worth to claim to insurance co to replace the new roof then we get the record claim and the rest of our insurances will go up next year or patch them will be enough ?. Would like you guys opinion about this. Thank you.