Depends entirely on what FX you are recording. IMHO if you are looking at these types of mics for FX then budget isn't an issue for you. What I would say is that these mics will give you an awesome quality recording whichever one you pick.
Please bear in mind though, that some FX recording isn't done under controlled conditions and you may just find that for some tasks, the conditions you end up recording in - and the sound sources you record - may not be too healthy for the actual microphone itself. Consequently, you might want to consider something a little less expensive for some of the more hazardous or dangerous sound sources - which you will inevitably come across.
Additionally, consider dynamic mics for some high SPL work rather than condensor. Even with a pad, you will find that the dynamics give you a better result in the high SPL region.
Consider a range of mics. I fear you are starting at the high-end possibly without experiencing the range of quality you can get with lower-end mics. Don't get me wrong - I have 3 MK41's myself - I just tend to use other mics for a lot of the FX work and the 41's when I am in more controlled conditions.