you made the right decision in my opinion. you never know what may have happened if you had called. the "Random Number Generator" isn't always so random..