I will come back to this, because there are clearly some points I have not yet understood and I have to ask about. But part of this is, clearly, a point where I am possibly completely off for quite similar reasons.
The point is that I do not understand the reasons for introducing Higgs bosons at all. So what I read is that simply defining massive gauge fields would give a non-renormalizable theory, and using a gauge-invariant theory together with a Higgs somehow circumvents this. But, again, from point of view of effective field theory this looks like a solution of a non-problem: Simply define massive gauge fields from the start, at the critical distance, and let the long distance limit sort out the non-renormalizable parts of it.
Ok, if you really want to compute something, using a renormalizable theory may be technically simpler, even if one has to introduce additional fields, because overwise one would have to care about non-renormalizable terms and to show how they are suppressed in the long distance limit, which may be technically more difficult. But these would be, so to say, human arguments, Nature does not have to care about, so if I want to make guesses about theories at the critical distance, I should not care about such simplicity too. And some approximate gauge symmetry at the critical distance would be, from point of view of Occams razor, simpler. What is wrong with this, and better in the Higgs model?
One point could be that gauge theories with exact gauge symmetry can be made manifestly Lorentz-invariant. Gupta-Bleuler vs. the old Dirac-Fermi quantization. But this is also not decisive for me, nothing prevents a not-manifestly-Lorentz-covariant theory from being fine as an effective theory, anyway general relativity is fine only as an effective fields theory.
Another point could be unification with the massless EM field. If one wants to unify photons with weak fields, one would have to use the same number for fundamental degrees of freedom for them, so, once weak fields are massive, and the photon is not massive, one would have, nonetheless, to introduce its gauge degree of freedom, which would become simply an independent scalar field, not connected with the other, observable degrees of freedom of the EM field. What would prevent this field from playing the same role as the Higgs?