FYI,

I spoke to my contact in the NYMEX Marketing Group and she told me that the 
NYMEX demutualization vote passed 140-11.