Missing a /s there, or……?

You can ask the workers when the movie actually starts and they will tell you. There’s a schedule they have printed every day or a digital one they can reference usually. They will also tell you the exact time the credits end for better scheduling