@Siwalak ****************
if he obtains the re-entry permit at the airport, ALLOW extra time to process thru Thai Immigration. Look for the Re-entry permit DESK... IF it's not Open, just Ask a Thai Immigration Officer and they will reopen the re-entry permit desk.
Which airport will he be using to fly out of Thailand?