You are sure to get several different opinions on this one.
My suggestion, Dont go Leica. Grab a higher end Canon or Nikon SLR and some lenses. $4,000 is huge for this type of rig. After school, once she is in the working world, she can use her lenses on a DSLR, because that is what 90% of the PJ's I see shoot.