No treatment should be provided for him.
I hope Ketchup boy kissed his buddies and swapped water bottle spit too.
He should certainly be quarantined for 60 days.