I'm wondering why after changing the server seed it didn't reveal his old server seed on his old bets too. My guess is that since our dev did it manually it didn't update on the bet ID, since it maybe only updates on the bet ID after a player re-sets it. Either way, we made a mistake for sure.  I will get that question answered when our dev comes online though.