Originally Posted by
regnis
You are oversimplifying the answer. The real question, which has been discussed before here, is whether the Bonus game and the Triple Double Bonus game deal the same cards from 1 deck(i.e. 1 RNG or chip) or do they use different decks. So for discussion purposes, let's just say that he would have spun at the exact same time so the RNG was not a factor in terms of timing.
Based upon some previous discussions here, when I switch games on a machine, I check if the previous hand that I had comes up on the new game. In the casinos that I play in, the hand does not come up which we think indicates a separate RNG and different "deck" of cards. I believe that is the question being asked to Scoblete.