Lechner is held for Honors Academy (beds may open up after Housing selection to anyone, if all HNR Academy students have registered), but Lechner won’t be open during Housing Selection.
Since your student is NMSF and ENG, I suggest Engineering Village! Also strongly suggest applying for ENG HNR (and not Honors Academy). ZERO need to do both, and hands down, the college/major HNR programs are by far the best!