Here is that proof you asked for about the federal government paying for WM employees health care. Statistics are from the Congress:
And how much would the govt be paying if WM did not have any payroll. The people you are refering to are primarily part timers who would not receive health care anywhere they worked. It just looks different because WM hires more people than anyone else.
ex-Texan obviously has an axe to grind. He's obviously a not so clandestine Dem trying to make a point.