80K is classed a life time for transmission oils (well for BMW anyway) I replace mine every 50k,that's including my Diff oil. Ive done two transmission oil changes, and it makes all the difference,if your gear box feels notchy that means the oil is due a change.