What should I do if my Thai immigration stamp is incorrect?

Hi all, thanks to everybody who helped out on my recent post regarding my friend’s passport being stamped incorrectly (30 days when should have been 60) when returning from KL (arriving at DMK) after obtaining a SETV. Although this is a common occurrence and can be rectified at a local immigration office, I thought some of you might find the following info useful if you wanted a quick fix for piece of mind. If you have been stamped in incorrectly, you can return to the arrivals at DMK, ground floor behind 7/11, there is a door which states ‘AIRPORT PASS HOLDERS’ (or something like that). Simply walk in there and there is a woman in a uniform sat at a desk next to all of the baggage trollies. Explain what has happened to her, she will take your passport back through and return it to you with the correct stamp around ten minutes later. Admittedly, parking and all the rest of it was a pain but if u were passing in a taxi then it really would be a quick and easy process.