As you know, 1040 is the correct form for your client to file.

You'll probably have to file on paper and attach the 8288-A and an explanation. I don't think the 1040 will efile with 8288-A withholding. It will probably take a long time and correspondence before client gets the refund.