Thanks for the helpful info everyone, esp. regarding expedited immigration at BKK. We should be fine--our Air Asia flight arrives BKK at 3:20pm so with a 7:30 departure on TG we have lots of cushion, but hate to wait in lines!! Would have loved to have flown TG from DPS but that would have meant a 23hour layover at BKK--not worth it for us--we'll be back to Bangkok soon enough.