Intercooler dent maybe punctured

Hi everyone,

After having an accident and fixing the car I noticed a dent in the intercooler its the size of a rice or less, but its seems punctured, should I fix it or it won't make an issue? a new one or an JB epoxy?

its a F150 2018 XLT

https://preview.redd.it/ccdg7dpzhxsf1.jpg?width=2252&format=pjpg&auto=webp&s=41b507e304603ca05c49491d59b6a4dd52d6640b

https://preview.redd.it/252dfupzhxsf1.jpg?width=2252&format=pjpg&auto=webp&s=9c6d75efd4d5bb8d6561198c5aaeef0376ac5010