I'm glad someone pointed that out. They even have call and put options, and thousands of FPGAs in Chicago trying to arbitrage deviations from put-call parity from market open to market close.