Thanks for all the great replies.
I had already e-filed the amended return when I learned that I didn't need to if the IRS already sent us a bill, but that makes sense.
We ended up logging into the IRS itself, and then paying through a payment provider directly.
