In July, MGM Properties purchased Hard Rock Rocksino, Ohio’s top gambling revenue generator, for $1 billion. Up until now, the Rocksino team stayed on to operate the facility. But beginning sometime in 2019 MGM Resorts will take over operation of the facility and employment of the workers. No word on if there would be a name change.