Bangkok - Koh Lipe

Hej!
Vi är två personer som ska åka till Koh Lipe i mars. Vårt flyg landar i Bangkok (BKK) ca 7:30 och vi har kollat på att flyga till Hat Yai ca 10:50-12:15, och därifrån ta taxi till Pak bara pier, där sista båten till Lipe går ca 15:00. Någon som har gjort samma resa tidigare och har någon erfarenhet av det tidsmässigt? Hur lång tid brukar det ta att få sina väskor och checka in på ett inrikesflyg? Har gjort det innan men minns bara att vi hade rätt mycket tid och att BKK är rätt gigantiskt :) Är det superoptimistiskt att tro man ska hinna med sista båten? Hur länge innan avgång bör man infinna sig på plats på piren? Läste på någon sida att är man inte där innan 10:00 är det samma att övernatta i Pak baka (alt Hat Yai). Visst att thailändarna är chilla men tycker det låter lite orimligt stt man inte ska hinna med båtarna som verkar avgå rätt ofta;)

Tacksam för svar!