I have mine this week at 12.45 too. I've heard it can take anything from 2 hours to the whole half day, it depends how many people they have to get through. I've booked my flight back at 7 to be on the safe side... To make a 17.25 flight, you'd have to check in about 16.30, which I think may be cutting it a bit fine.