I'd say ensemble at the auditorium, NT5s at some sort of a stereo technique (spaced, XY, whatever) from a distance (move the mics around and listen with headphones to see where they sound best. Get an assistant or a friend to help). Maybe you should do the strings and the horns separately. You can always add the "dry" home recordings later, if you feel like you need them.