Hello, a friend of mine (US Citizen) recently left Thailand and realized upon arriving home back in the states that he did not receive any exit stamp at suvarnabhumi. Will this be an issue for his next trip to Thailand?