[Todd VandenAkker]

I'd have to agree. It would be a tough situation and call, but as you describe it the player probably made it easier for you to decide whether to ignore or penalize the behavior. I'd bet he wouldn't ever do that again if you DID penalize him.