[Junker]

I wouldn't blow a play dead to tell game management, but I also would walk right over to game management at the next dead ball no matter where they were in the gym. You handled it correctly.