I hope they didn't have their phones with them. Tossing someone into a pool used to be a harmless prank, but now that everyone carries around a $100+ phone in their pockets at all times, chucking someone in a pool is no longer cool.
This guy is way too timid. She'll move on and years from now after they've graduated and went separate ways he'll kick himself that he didn't man up and go for her. It's a sad lesson.