To the best of my knowledge, fish don't die when they've been stung by Foxfaces, they just experience a MASSIVE amount of pain. Hopefully after a while your porc should be up and running again. The foxface is about as venomous as a common wasp, and depending on the size and age of your puffer...