Despite this, Quatro Casino remains a bit large!