The address in the IRS publication is for Ogden, UT, but the address on ProSeries Form 8453 is for Austin TX.  I suppose I should send it to Ogden, right?  Is this just one more way that ProSeries is not accurate this year?