You are mixing up apples and oranges ... you do NOT fill in the Health Coverage Tax Credit form 8885 unless you got the official letter allowing you to take that credit.
What you are asking about is the Premium Tax Credit on the form 8962 which is automatically populated by entering in the 1095-A. Nothing gets mailed. If you are eligible for any of the credit it will be on line 26.
