Originally Posted by
lmsalman
Conversly, you can check in and use the international terminal for your domestic flight. On a monday morning you might have a better time checking in and going through security at the international terminal rather than the domestic terminal.
Hotel shuttles only drop of at domestic terminal. OP and son would need to then board a bus to goto international terminal.