So, they will get the payment in the form of a credit when they file their 2020 return. Problem solved.
View solution in original post
