Should Marcel have Summoned Denko Sekka?

[~~~~]

In the WCQ

[·Toot]

Who?

[~~~~]

He was playing a Yuya deck in the World Championship Qualifiers. His opponent was playing Yosenju. The opponent went first, setting 3 S/T, Summoning a Kama1, then activating Card of Demise. The opponent drew 3 backrow with demise, and set 2 of them, discarding Chaos Trap Hole in the End Phase. Kama 1 returns to hand.

 

Now it's Marcel's turn. He has Denko Sekka in hand, but doesn't Normal Summon it. Instead, he plays through his turn, with 4 out of 5 backrow going off. 

 

In the end, Marcel won the duel. (Diamond Dire Wolf pops his Odd-Eyes Phoenix and the opponent's set Drowning Mirror Force. He attacks directly with Dire Wolf and a Castel bringing the opponent to low LP. Opponent's turn he topdecks another Kama 1. He now controls no cards and has just 3 Kama 1 in hand. He scoops.) But, should Marcel have Normal Summoned Denko Sekka first, or did he make the correct decision?

[Snatch Steal]

☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎☑︎