I called the casino, the answer is no pets allowed.
He would like to know if he's allowed to take his pet inside the casino, it's in a stroller / carrier. Nowadays, many places allow pets to accompany their owner, but in this case I am not sure.
Thanks! Your answer is awaiting moderation.