Change it out. The Redline shifts so much smoother in any temperature.
I didn't use the Motorcraft primarily because the owner's manual and service manual for the genpu say to use 75W-80. I am extremely hesitant to use anything but the factory spec, especially in a vehicle with a viscous LSD. Also the Motorcraft stuff is just way too expensive in my opinion.
I only put about 3k miles on the car, previous owner put the rest. Don't know anything about the previous owner's driving habits, but know it was an older guy who kept it stock, so it's unlikely he raced it. I haven't missed any shifts in this car yet. It's pretty easy to drive overall. I never launch the car or power shift.