Hello helenyin! The 1040NR formset in ProSeries only allows e-filing for California and New York at this time. Alternatively, you could create a new 1040 file for your client and just complete the non-resident state forms needed. You should be able to electronically file the states on their own at that point.