Just wondering is it legal for your pitcher to use this? do they have to keep it in their pocket? Or leave it in the dugout?