You never know with these things. That was the version for the public. There has been some talk that the problem that caused them to lock up actually was in the gearbox. Guess we will never know, but there has been more then one of these bikes with strange gearbox problems.
If there is any connection, it makes much more sense for a professional rider to have a problem with a gearbox lockup then a engine lockup.
If there is any connection, it makes much more sense for a professional rider to have a problem with a gearbox lockup then a engine lockup.