If the interest on the 1099-INT matches interest taxpayer is reporting for the F6252 there shouldn't be any problem.
