Does anyoone know if they will be rebranding the hard Rock under the new ownership. I would think they would not since that brand is probably pretty valuable. Any thoughts?