Yep. There is also a 4040 not behind a flush-mount grille in a stairwell going from the gym to the pool and the girls’ locker room in the Field House building, and recently one in the gym as well. The pool also has what looks like a Federal Vibratone or Simplex 2901-9806 behind a flush-mount grille.
Incidentally, did you see the new Stopper II covers when you were there? They should be putting more up this summer.