Delta at JFK used to make a habit of changing departure times to 5 minutes earlier than published. Why I don't know, I don't see it as often now, but did see it often 1-2 years ago.