I'm hoping! And hedging my real-money options with play money bets