so you could kill time alternatively at one of the hotels nearby?
good suggestion....if your flight lands at the domestic terminal at 4pm & all goes smoothly then you should be able to get to the international terminal between 5:00-5:30pm....there are tons of hotels that have some very nice restaurants within 5 minutes from the international terminal....you can easily kill a couple of hours there since you don't need to check-in until 8pm....