Right kesi24/Jun/Jmr all the same. I just said kesi because it could be one of the ones he did 10 years ago before jmr started selling them. They are the exact same specs and routing .
Id leave it. I've had mine dented pretty bad, probably worse than that and really had no difference after fixing it other than peace of mind