Borel famously used analysis on symmetric spaces to compute the rationalised algebraic $K$-theory groups of rings of integers $\mathcal{O}_F$ in number fields, e.g. $K_i(\mathbb{Z}) \otimes \mathbb{Q}$ vanishes unless $i=5,9,13,\ldots$ in which case it is $\mathbb{Q}$. Nowadays we can also access the algebraic $K$-theory groups of $\mathcal{O}_F$ using the Quillen-Lichtenbaum conjecture, and I am wondering whether this might give an analysis-free computation of these algebraic $K$-theory groups.
Does the proof of the Quillen-Lichtenbaum conjecture require Borel's computation as input?
If it does not, the following question makes sense:
Can we use Quillen-Lichtenbaum to recover Borel's computation? If not, what can it prove about the algebraic $K$-theory groups of $\mathcal{O}_F$ if we are not allowed to use Borel's computation?