Also does anyone use aquarium salts? I did while treating a frog, but would a bit benefit the tank?