I'm glad this helped.

My main DPS macro (just Lightning Bolt, really), is not set on the healer. I found that interrupting Lightning Bolt (which is basically being cast all the time) to cast a heal was to expensive in terms of mana.

However, my healer shares the rest of DPS options :
- One macro with a castsequence of Flame Shock, Lava Burst, Lava Burst
- One with Chain Lightning
- One with a castrandom of all different shocks (I use it mainly for interrupts, or to finish a dying mob)

I typically start every fight with Flame Shock x 4, Lava Burst x 4, and then a series of Lightning Bolts x 3 + necessary heals until Lava Burst x 4 is available again. Chain Lightning is nice for pack of non elite mobs when the tank doesn't need healing at all (apart from Earth Shield and totems).