Finally got to the airport terminal which oddly enough had no one behind the counters. We got there a little after 12 noon and no one showed up behind the counters until shortly after 1:00, so apparently they close down during lunch.