That's correct, last time I was there they had those games.

Zenius: https://zenius-i-vanisher.com/v5.2/arcade.php?id=2701#games has a list of the games, please bare in mind that this is a community driven database.