@Thomas *******
it is, but if a passenger doesn't see anyone there, a Thai Immigration Officer or anyone manning the counter, then go ask another Thai Immigration Officer that you want a Re–Entry Permit and they'll get someone there to get you one....