I wouldn't worry too much, your bike is hardly run in! Seriously, we've seen only 7 gearbox failures on this forum and ALL have been 2008 models, and 6/7 have been blue! So statistically speaking, it's highly unlikely to be this.
It could be the oil though? Motul 3100 is slightly more viscous than 5100 despite them both being branded 10w40. Check out the data sheets:
3100
5100
This in itself probably won't make a huge difference, but there is definitely a difference. All the other specs are the same. Interestingly 3100 is not available here in the UK as far as I know.
Did they actually use 10w40, because it also comes in 10w50 and 15w50 too?