What is up with the salt grinders in restaurants. Does the flavor of the salt change by just being ground? Just seems like a hassle to me. Yes, I am lazy.