Couldn't you shoot video in 720 24p or maybe even 26 and just bring it into After Effects and resize and conform your video to 25 fps? Then render out a video at 25fps with upper field dominance?
Not quite perfect but it should work. I guess that's why there is no 25fps option. You could easily shoot PAL video with some post work using the HVX.
I also have an NTSC in PAL land. I use ProCoder for conversions, and ProCoder also supports the industry standard of speeding the framerate up from 24 to 25 frames per second. I have never used it though.