Seadevil Stinger

[Muppet1]

removes mana not health on the next murloc cast. It doesn't charge you the mana though unless you have zero mana in which case your mana goes negative.

I think its a main code fix of "attribute": "MURLOCS_COST_HEALTH", as everything else looks right in the card code.