Yeah, it's stimming. Don't tell him to stop or anything though. It's natural for autistics to stim and it helps them (myself included) to feel better when upset. Stimming even prevents meltdowns and shutdowns.
_________________
Diagnosed with Aspergers, ADHD, Bipolar Type II, OCD, and generalized anxiety.