thanks for the detailed response - that is really great!
couple things - I guess the last part is file a substitute 1099-r and not a w-2, also when filling out the details should i put in the tax paid in Ireland as federal tax or just leave it all blank except for the distribution and taxable amounts which are the same, then use the form 1116 for the tax credit?
