I have a recipe that calls for Hawaiian Sea Salt (pulled pork). Is this really necessary? Do you think it will be ok if I use regular sea salt or even kosher salt? Is there really a difference in flavor between sea salt and Hawaiian sea salt?