Thanks! However, I am not sure where to declare the tax paid , maybe on the form 4852 line 8h (local income tax withheld) and the money received declare as a gross distribution income line 8a (on the same form)
mike
