Been on the receiving end of bullies, not nice. The larger kid did what he had to do, bet it stops the skinny un picking on him in the future.
Personally, had it been me, things would have been a tad worse - to sort the school bully out at my last school (many many years ago), I hit him with a desk, repeatedly, until he asked me to stop.
Wurzel