As of today, the Marshal badge has been awarded 3485 times. Is there a ranking of those 3,485 profiles? Their helpful flag totals? I'm aware you can see the total in each user's profile. I couldn't locate the information in [SEDE].