Ah, that is a good question. I'm going to go with only the basics. They know each person's primary fighting style, and they know they are all on the same side. Specific details will need to get revealed during RP. I'm willing to give one round for the characters to discuss their strategy before Diabolus arrives.