Chatter boxes at CNNfn were saying something about emini at NYSE but could not get detail about it. Are they available for trading at NYSE? Is it available only during NYSE trading hour??