Oh, that poor, poor, little tiny 17 year old baby boy! How scarred he must be now! What a tragedy!
It is obvious that is sarcasm on your part but I have seen many similar comments about these situations. The only way those teen age boys would be scarred is if he performed badly and she made fun of him or if she laughed at his small penis. Absent that, as soon as he is out of sight he is calling or texting his friends to brag.
I don't know why the teachers don't realize that in short order the whole episode will be all over town.