I agree with your take. I work in the industry. The for some reason has partly to do with the U.S. tying insurance to your employer and not charging taxes. It makes sense to offer as much as possible pretax.