My 20yr old just came home from a swim at the ocean baths and has cut his foot on a rock or pipe (he's not sure). It's not deep and his girlfriend has patched him up with bandaids from the first aid kit in his car.
Should he go to the doctors and have it cleaned and should he get a tetanus booster. The last one he had from what I can find would have been when he was in yr7 at about 12yrs old? Thanks in advance.