Ok, scrap that. Apparently the times are stored in the DB with the GMT offset already added on, rather than doing the sensible thing and storing the times as UTC then adding the offset when the page is rendered. Entering 175320 in the GMT offset box did the trick.