It's 7:32, isn't that Pitt basketball's normal tip-off time?