I have a new H55F in my 1990 FJ62. The 2nd and 3rd gears are pretty notchy. But, I only have 850 miles on the transmission. I figure new transmissions are typically notchy when breaking in. I don't know what gear oil the shop that installed it for me used but I suspect standard 80w90 GL4 dino. At how many miles would you guys recommend replacing the transmission gear oil after this break in? I was considering using Redline MT90 75w-90 GL4 synthetic gear oil as I have read it helps smooth out the shifting. Recommendations?