I can say that because I AM "them". I don't watch "them" put it in, I'm the one putting it in, and I can tell you that's what is used, tough guy.
Redline is up to the job as well, use the mt-90 if you like, supposedly it helps if your R154 doesn't shift well. For me, it's too much effort to get...