How much of the salt do you put into the tub? I have some dead sea salt and would like to have my son try this. Thanks!