AFAIK, as long as nakahulog siya ng 10 yrs. he's entitled to retirement benefits, kahit anong citizenship niya.