I only found one bank (12 machines near buffet) that has fifty cent
10/7 DB.
There are still several banks of quarter 10/7 DB, including the slant
tops between the bar and the buffet.
All of the 10/7 bartops have been downgraded.
The bartops still have quarter, fifty cent and dollar 9/6 jacks and
NSUD.