Certainly not needed.
Others have recommended these grades, might be worth a try.
High RPM shifting has always been extremely smooth on this bike, sometimes a bit notchy when putting around.
That could just be user error, though. Ha!
The links you provided for the Motul seem to be a good price...