He did, in 2005 I believe.
1975 (I hear on this thread when he ‘returned’ to the US) until 2005. Thirty years. Gee. I didn’t know it was that hard to become a US citizen.