just out of curiosity, if one of those Lion fish sting you while snorkeling, how bad is it?