Couldn't Find FP DDB at Red Rock

[nshoreslim]

I could be mistaken but I did not find the optimal play banks of
machines at Red Rock this past Tuesday. I was visiting so maybe I did
not look hard enough. Maybe someone can confirm that the machines are
still there? Thanks.