I assume everyone saw that the Author of this thread followed the adjustment procedure and all is well? Simple fix.
That is good news.
The reason I tagged on here was that I actually located the thread (which I’m not very good at) where someone had advised adding gear oil to the steering box.
Sorry for the hijack.
FWIW, I am not disappointed that the 80w90 leaked out. I sort of expected it. I had planned to somehow remove the old grease before adding the new. The gear oil seems to have just expedited that process.