Seriously, I don't care if he's just an internet tough guy that would never do anything.
I STILL think you should notify the police. Threats are threats, and if something does happen to you, and he's already in their system for threatening you; he'll be the prime suspect immediately.