Did stations casino litigate with restaurant tenant?