The debate is easily enough solved. Rob told Alan which casino he had been playing in when he hit the jackpot. Alan can either himself or via assigned sworn-to-secrecy-regarding-location proxy check that casino to see if those denomination machines have the offset 5 as shown by Spock. If they do, Rob hit the jackpot. If not, the claim is very questionable.

Easy peasy