It's definitely worth pointing out, but his electricity estimate is so low that the numbers effectively work out for Tier 1 in the SF bay area. I'm sure a school is not in tier 1. But maybe they get beneficial commercial/educational/government pricing, I don't know.

They may be off for 3 months over the summer. Which might mean they were actually off, or it might mean that they ran 24/7 and NONE of that time was for 'educational' purposes.