Mike-do you know ETRD's old MM symbol. They have been a seller lately, and I'm wondering how many they have. rich