Map is showing reduced capacity, so I stopped by on my way home. A total of 4 chargers are not usable: the one in the handicap space at the bottom of the steps is out (wrapped in a garbage bag), 4A is being worked on by Tesla, they have 4B blocked off but it looks ok, and they are parked in 3B (and charging, so 3B must be fixed) while they are working on 4A.
Good sign they are here though, with a 3 day weekend coming up. As for the remaining 16 open chargers, 15 of them were being used. Hopefully they finish fixing 4A soon and open up 3B and 4B as well.