Thank you - Get My Payment was indeed the solution. I called the IRS Tax Pro Hotline again after I posted this inquiry, and this time found an agent who knew the answer. How sad that none of the agents I spoke to the day before knew about this function.