Someone else (Terry?) needs to verify this but I checked at the various
bars in these two casinos and the 8 & 5 bonus poker progressives were
no longer progressive. Perhaps this is only for the current promotion
or perhaps permanent. Being a gambling man I'd wager on the latter.