I heard that the machines have been removed but I haven't been able to personally verify.
The confirmed bad news is that McCarran Airport, Sahara, Ballys, Paris, Flamingo and O'Shea's have all removed their machines. That is 21 less machines without counting the Hilton. With four at Stardust, we are still minus 17.