Umsteigen in Bangkok

Huhu

in wenigen Tagen fliegen wir zum erstenmal über Bangkok nach Phuket.
Der Flug von Deutschland nach Bangkok geht mit Thaiairways und der Inlandsflug dann mit BangkokAirways. Die Bordkarte für den Inlandsflug müsste man ja auch schon in Deutschland erhalten können oder?

Wer hat den Erfahrungen zum Umsteigen in Bangkok? Geht das Problemlos? Muss ich eigentlich durch die immegrations?

Danke