Anyone here who has traded the Dollar Index options with any regularity? Alternatively, anyone who is a/has been a/knows NYBOT floor options mm's?