Have you been to Grupotel Los Principes & Spa recently and can confirm the pinballs are still present and can be played?