I don’t think this is really Metro’s fault (though they certainly deserve their fare share of blame for many things). Sounds like clogged drains near the station. Blame DC Water and DDOT.

Class act. Amazing player and great, generous guy.