Yes, I started with the Foreign Service back in February of this year. Yes, I brought along copies of my personnel record and filled out tons of typical government paperwork showing my 2 1/2 years of civil service time. No, it didn't all magically transfer over on my first day. This is still government work.
I took the suggestion from another blog (see Not Everything Transfers) and my new hire classmates on submitting my last civil service leave and earnings statement to speed up the transfer of my leave balances. I submitted it to payroll help and it worked wonderfully to get my annual and sick leave credited. The rest of the official transfer was soooo much slower.