The EFKE 25 film are great! They are what's called "orthopanchromatic", which means the red sensitivity starts at slightly shorter wavelengths than most other films. This does not mean that they have reduced red sensitivity - but they are completely insensitive to the longest wavelengths of red light.
When I first used this film it was called EFKE R14. I developed that (and R17) in Neofin Blue, getting exellent results with about 20% more development than recommended (I like dense negatives with lots of contrast).
I haven't tried the "modern" PL25 yet, but PL100 is still a great film. The eclipse photo in the technical gallery was shot on this, developed by inspection in Maxim Muir's compensating pyrocatechin.