icefr,
My wife and I are also high income, albeit at a far different stage of life; thus, take this for whatever it is worth.
I take HRA because it is free at work. She has HSA family plan that includes our kids until the youngest is out of college (the elder two don't have absolutely free coverage at work, and they are "free" for my wife as long as she is covering the youngest). Because it is family plan, she gets pretax funding of 6250 or so a year with 10K deductible (In the eyes of the IRS, the money comes from employer; economically, it is from her other pocket).
The fun part is that we have chosen to make no withdrawals from the HSA for several years, and immediately transfer each year's contribution (less a $50 placeholder in the employer's institution for our administrative convenience) to HSA Bank and its TD Ameritrade investing option. Thus, her HSA currently has just less than $50,000 invested in index ETFs and is managed as part of our overall portfolio. (Unlike 401k, etc., an employee "owns" HSA balance immediately and can transfer to another institution.)
Long term, we plan to use it tax free for health expenses in retirement. (might be better for us to use it now for our health expenses, given our ugly marginal tax rate, but another tax free source of funds in retirement will assist with adjusting taxable income and MAGI as appropriate each year.)
Thus, we've found the HSA to be another useful tool in structuring our portfolio to maximize tax efficiency in retirement.