I see. I know in the MLB, they were kind of loose with that as well (I’m old enough to remember Pittsburgh Pirates Manager Jim Leyland smoking cigarettes in the dugout), but I know they had medical staff and you’d think a player suffering long term stomach issues would’ve been seen by a doctor provided they didn’t think he just had the yips.