I will be leaving the RAF and the UK in the next couple of years to live in the US. Do any ex-military US-based Ppruners know how the lump-sum gratuity is treated for tax purposes in the US. It is clearly tax free in the UK but I don't want to find out that on moving to the US, the IRS think that a large proportion of it belongs to them?