I saw multiple $1 8/6 Bonus Poker Deluxe and 9/5 JoB scattered around casino. I didn't check other denominations.
I didn't see 25c/50c machines listed in database but didn't search super hard.
I don't think $4 per point machines listed still exist in High Limits but didn't play to verify.
···
Sent from my iPhone