I would just leave it as it is. Your son is old enough now to know how to be responsible and take care of his things.
If your son asks you to patch it up for him, do it on the condition that he doesn't let the dog get to it again because this repair will be the last repair you do on it, and explain the reason above about him being old enough to take care of his things.