Anyone know the approx. end time for the Opening Ceremonies? I'm guessing around 9:30 pm.