They are setup as 1 prot, 4 ret paladins.
With all the passive healing, there is no need for the holy. I originally had 1 holy, 3 ret, 1 prot, and there wasn't any need for it, and went to the 4 retribution.
If I have Seal of Light and Judgement of Light up, I get so much healing, it's not even funny.
If I do need to get a heal off, I have a macro on all of them set to:
/assist Main
/cast Holy Light (or flash of light)
That way, I target what toon needs the healing, hit my button, and just continue fighting. Often times, a couple of them are on the instant cast, so I can heal while running around.
I also have macros setup for Lay on Hands to target specific alts.
Connect With Us