Amazing how 0.0194s haven't been hit... but with $RGGI trading just over 25% of its 10-day average volume with less than 1.5 hours left in the day, it's not surprising.