Definitely not. The most likely place is at home or on their phone.
The most recent new Pac-Man release was in 2022. The longest gap in a release was between 1987 and 1993. Since then there has been a release every year or three. These are specifically Pac-Man titles and not games with Pac-Man in them (Mario Kart has a Pac-Man outfit you can unlock with a Pac-Man amiibo) and not including compilation software packages.
The most recent new Pac-Man release was in 2022. The longest gap in a release was between 1987 and 1993. Since then there has been a release every year or three. These are specifically Pac-Man titles and not games with Pac-Man in them (Mario Kart has a Pac-Man outfit you can unlock with a Pac-Man amiibo) and not including compilation software packages.