I've heard a rumor that at other stadiums people have asked if the tip actually goes to the workers and some outright say skip it, it doesn't. So worth asking the staff if you're gonna tip at a massive stadium anyways.