I'd have to ask Michael what we ended up with. He did all the final dealings with the contractor we worked with. It was something from Home Depot, IIRC.

But the estimate of nearly $7000 for three doors (admittedly the double-paned ones) really did leave me gasping for breath when I heard it.