Is this change already implemented?
I have found that someone has the opposite problem, the range of the tint slider being too large. I think the optimal win-win solution for the future is a “windowed” slider: the text box should have a bigger range (0-7000), but the slider should have a smaller (0-4000). The latter should be automatically shifted to 3000-7000 when the slider gets released above 3500, and back to 0-4000 if released below 3500.