That is a nice site, but still no 8050 service manual.
Hope I won't need one for quite awhile but never know.
What I would like to find is software and comms to get into the shift parameters shown for the K series as I would bet they are the same in my 8050.
But I'm sure not holding my breath for it.