How many spins did that person spin? If he was betting $7.50 a spin he probably had 1-5k at risk. You could do a load of parlays with that bankroll and eventually hit 10k. Must've been a very lucky bonus as well cause all the big bass game suck balls.