If you happen to hit a massive jackpot, the operator will usually courier you a check or pay you with a bank transfer. Smaller progressive wins are simply credited to your account and can be withdrawn using the standard procedure.