Or it could be leisure=amusement_arcade, but this needs a survey.

After 8 years are you sure it even still exists? Or has the same name?

Armchairing away problems such as shop=yes only makes it harder for local mappers to find and correctly update these problems. 

Cheers Phil