7500K is getting too cool, but its easy to fix in photoshop or lightroom, or most other software, for that matter. The setting only applies to jpegs, in raw, lightroom or photoshop allows you to set color temp.
With slide film, you need to be right on, unless you are scanning it, in which case, it can be corrected at the time of scanning, or later in photoshop. We all prefer to be right on, of course.
I did my own film and print developing back in the 1960's, I could develop ASA 64 ektrachrome color slides, but they always had a hint of blue green, so I just stuck with ASA 25 Kodachrome II and Kodak developing for the best results. I recall also trying AFGA ASA 10 slide film, it was a disaster, not enough light.
I gave up on the dark room when I moved to a different house, and my kids were growing up and I was working long days and long weeks for years.
I admire those who have the patience to use slide film, particularly 4 X 5.