Have you been to restaurant La Maison de la Dune recently and can confirm the pinballs are still present and can be played?