Sek Kong RAF billets.