Hmm after a bit more exploration of the site above they seem to have a program called Mon-ARC PLUS that is a BIOS resident program that can perhaps make certain normal video cards display at 25khz perhaps I'll email the guy to see if its still supported or not or any new info on the matter.
Perhaps we can finally find a good solution for everyone with 25khz monitors.