Will do @klauguste.
Also, just a FYI, the "Get my Payment" tool on the IRS site did not update even for a processed Amended form - in case anyone was wondering
- Michael S.
