1:00 pm is 2.5 hours difference from 10:30 a.m. That could be the difference between making a flight and not. The OP is asking about a 10:25 flight. We were advised by our TA not to attempt it and we did not. Had a flight the next day at 9:30 that we made comfortably. This was on April 6 debarkation.