I wasn't aware of that quote until reading it here, so I'll make a call to verify what I was told--and in fact, saw, a couple of years ago while there. It could have changed, but in either case the implied randomness is the same. At any rate, my own opinion is to put more credence into what a SW engineer says regarding this type of issue than what a FW guru does.
"Don't assume that Rob's information is correct. In an interview in
American Casino Guide 2003, IGT's firmware engineering manager,
James Vasquez, clearly states that only five cards are dealt at the
time of the deal, with the other five being dealt at the time of the
draw."
Hask