To get a TIN, you need work permit, to get work permit you need job. Or use your home country tax number, which you can’t. You’re out of luck my friend
he was leaving Thailand, not entering. It is their job as you say to make sure they have all the valid documents to enter the country they are taking him. Nothing to do with Thailand. If they are flying him back in to Thailand, yes you’re 100% correct