Retirement tax questions

Probably you do not need to file form 8833 at all, as one of the exceptions for having to file it (see link above) explicitly states,

You do not have to file Form 8833 for any of the following situations:

  1. You claim a treaty exemption that reduces or modifies the taxation of income from dependent personal services, pensions, annuities, social security and other public pensions, or income of artists, athletes, students, trainees, or teachers. This includes taxable scholarship and fellowship grants

It would certainly be nice to get a definitive confirmation of this from an expert though, as use of form 8833 precludes electronic filing, which is a serious inconvenience.