Michael said: "(Just buy a faster lens if you think you really need ISO 25,000)"
I'm sure you know better! That much depth of field loss at any given useable shutter speed is not an acceptable trade-off for ISO noise. If the scene demands, for example, f/8 at 1/125th to work, the wide-open lens speed is immaterial.