That's good to hear! I could imagine that a good chunk of the industry gradually got more professional as the trading pits went away. It certainly would have made being a big, loud guy less useful.