The retiree received the amount of the HRA $10,200 in a lump sum. Wasn't he supposed to pay the premiums?
