One of the ET members (Wilburbear), in a posting several months ago, said that unless contested at the SEC level, then at the time penny increments for options are implemented it may also mean that retail customers lose priority in line for options. Can anyone share where we stand with this currently?