Bump !
Surprised he was allowed on the bus? If he had spoken with the principal and bus driver and parents...and still didn’t get anywhere, then this type of action may certainly have been justified.