We're aboard TK008 next month. The flight leaves Washington Dulles at 11:25pm. Can anyone comment on the meal service? I'm assuming they won't serve dinner that late, but I'm curious as to the timing and types of meals served, so we can try to plan our sleep schedule. Tnx.