How to coordinate this HRA benefit with your Health Savings Account (HSA)