A couple of notes here.
There are eight $5/$25 MD machines just off the elevator in the main VP
area.
The DDB is 9-6 for $5 and 10-6 for $25. (Not 10-6 for both as reported by
John Grochowski.) Super Aces is 8-5 for both. Jacks are 9-6 for both. DB
are 9-7 for both. Triple Pay Plus is 9-5 for both. There is one other game
on these. I think it is 8-5 bonus but I am not sure. In ALL cases, ALL
hands that would normally pay 250 coins for a 5 coin bet actually pay 239.
(Obviously, this is a rip off for the $25 player as the one coin $25 gets
the W2G on these.)