Bill, I've confirmed with the HRA provider that the HRA in question was not one of the four types of HRAs you mentioned, so my coverage would have been affected.
