and you have a work sponsored retirement plan. From what I can tell, that throws off all the math in this article.
If that is the case, I think a back door Roth IRA is still your best choice for retirement plan once you've maxed your HSA contribution and match your employer 401k match level.