at3035 vs at4040 on horns

I was checking out the specs on these and noticed that the 3035 seemed to be much flatter overall and specifically in the 1-5k range that seems pretty important for most brass instruments. Anyone have experience with these mics on horns?