Salt mills are sort of useless anyway… salt is just a bunch of little rocks, unlike pepper it doesn’t need to have been recently ground to be “fresh.”
Get some large sea-salt flakes if you want to be fancy with salt.