Hi, Anyone know anything about the NYMEX daily options, listed on Globex? I don't recall coming across a press release about these. I've heard they're traded OTC... but I've never seen them on Globex before. Using EOSTrader today (with the strategy builder), under instruments, I noticed "crude oil short term" as a future type. I was able to pull up an instrument for any given day (they're named 'D01' through 'D31'). I don't know if these are actually being quoted or not... not sure how to pull it up on any of my other screens, only in EOSTrader's strategy builder. Just curious whether anyone has more info to add.