Hard rock cafe in miami is a casino