Is pala casino being renovated