Yes, I think Big Ben struck 13 times at midnight in Thunder Ball.
I am only doing this from memory, so I could be wrong on both accounts.
Could be doing it again.