I haven't tried staying airside either, but I would opt for the 4-hour turnaround as the customs wait time can vary. Generally, it's only about a 15minute wait. However, if you arrive just after other flights, the lines can be quite long (45min+).