Thanks for the link to the mailing address! However, I have heard only the office in TX knows how to handle the 1040 form along with treaty like form 8833 and sending to other office may incur explanation ask from IRS and send you to TX office. I don't actually want to risk sending the form to a non-TX office unless you have better data points showing that it's worth to do so.
