Have you been to New Red Lion recently and can confirm the pinballs are still present and can be played?