I can't be 100% but I think the hammertime didn't play lasers (if he could confirm would be nice!)
Hypnotoxic Laser is in Plasma Storm. The ECC didn't include Plasma Storm.
If you read the post, you would've noticed that I listed placings for a tournament that included Plasma Storm, which is why Plasma Toolbox and Cobalion/Klinklang made appearances.
I can't be 100% but I think the hammertime didn't play lasers (if he could confirm would be nice!)
That was my brother - he didn't run any Hammers, just Darkrai with Hypnotoxic Lasers and Virbank City Gyms. We figured that not many people would have the cards to build Klinklang in time for the tournament (it was three or four days after the release of Plasma Storm I think), and that it was OK to run a deck without any direct counter to it, as long as it had solid matchups against everything else. That turned out to be true, he just got unlucky to face the only Klinklang player in the Top 2.