Would you still consider it "overblown" if he had run, say... a bitcoin miner on all those machines?

Sure, he didn't make profit from the seti@home instances, but he did it without approval, did ultimately cost the district money, and likely caused other issues along the way (like additional wear-n-tear on the machines)