Have you been to Restaurant La Maison De La Dune recently and can confirm the pinballs are still present and can be played?