On an unrelated note. My train this morning was two minutes early. Actually about seven minutes early, when you consider that it is normally about five minutes late. The volume of people waiting on the platform was significantly less than usual. Have a feeling there was an unpleasant surprise in store for some of the lollygaggers.