Has anyone flown into Tampa International during the past few days? Is the Government shutdown causing long queues at Immigration?