Well given that she is only into 35mm now, of the two options you show, provided everything is in top notch working order, I think the DXL has everything she needs (lens, carrier, enlarger and easel). The other one has no carrier ($30ish on eBay) or easel ($20ish at a Craislist usually). The 75mm lens on the 6700 might be too long for 35mm printing too, so you might need a 50mm lens too??
Gosh, all things being stated as you say, option 1 seems like a great bet! Save the money for some papers/chems/film!!!
Anyone dissent on my recommendation?