I went. Since everything said it would start at 7:30, and it apparently started at 7, I was a bit late because I got there at right about 7:15 or somewhere around there. I arrived in time for the start of The Five Doctors, though.

(Given how rough it's been lately, it was worth it, even if I did miss the shorts they probably showed.)