Well, they sure should report proceeds at least as great as the 1099-S! And, if I understand what happened here, I think reporting it as a break even transaction for the 1099-S amount is the most practical answer. And I would go with the forms they got.
