Anyone have any info on what happened to this Index? It was a real time intraday Index reflecting the Equal Weight S&P 500 Index. Seems like it stopped trading on Oct. 31st.