7st Casino – Meaning of casino: official definition