I am a non-US citizen who left the US in 2007. On talking to my 401K administrator, I was told that I could cash out my 401K but 20% would be automatically deducted for tax purposes. Is there any way I could retrieve the 20% (or a part of it)? I used to pay my taxes as required when I was working/living in the US but have not filed since.