I also considered calling the Pokemon-dedicated part of my embellished casino "Pokermon." But since I want to have more than poker available to them, I went for something a bit more general. (Though if anyone has a clever suggestion that would be fitting...? :D)