Pinball at resort arcades

[JungleCruiseFan]

For anyone there now, do they have any new pinball machines at the resort arcades? Are they in working condition? I’ve always enjoyed playing pinball at the resorts but the last 7 or 8 years they stopped maintaining them so the only ones that usually work are new ones
Thanks