AITA for reporting stinky gym member?

The gym I go to almost every night has one member that absolutely stinks. He’s a huge 6’5 280+ pound guy that wears no deodorant. When I say he stinks I mean HE STINKS. If I walk within 20 feet of him I have to hold my breath and change exercise to a different part of the gym. I’ve tried changing my gym schedule to avoid him but we still cross paths a couple times a week. The guy literally smells like a meat freezer that broke and has been sitting in the sun for 3 days.

I know I’m not the only one that thinks this. I’ve seen other guys walk into the locker room then immediately turn around and walk out when they smell he’s in there. Last night my thoughts were finally confirmed. I was in the locker room holding my breath when him and 2 other people I see there regularly walk in. Finally he walks out and within a few seconds one of the other guys says “damn that’s one stinky mother fucker”! The other guy immediately agreed with him.

I can tell by the early 2000s Kia he drives he’s probably not wealthy. I didn’t want to embarrass him, but I also don’t want my gym experience ruined so I reported him this morning to one of the staff. I’m not sure what the next course of action will be. Should I have just ignored it or was it ok to report?