Yep. You need to weight the situation with the final result. Is all the effort of talking to a supervisor, filling out more paperwork, waiting extra time for a larger refund, etc. really worth it? If the extra cash makes up for all that effort then by all means.
But if youre not out any money then I say just fuck it. It was obviously an accident and wasnt due to his carelessness.