Just wrapped up 4 days with the family at Disney World this week. Stayed on site at the Disney Colorado Springs Resort. Parks were pretty crowed and no social distancing. Mask were not required out in the open but were strictly enforced in lines and on attractions. Disney didn’t have a problem of making people squeeze together for attractions though. Family and I had a great time but tried to avoid real tight confined areas such as the monorails and busses to be on the safe side.
As far as pinball goes, sad to say , the Colorado Springs Resort arcade only had one pinball machine which was a Guardians of the Galaxy.