Vous dites que c'est un accessoire du 5KSM3311 mais dans les spécifications il est dit compatible avec le KSM 150/175//125. Quand est il? Puis-je l'utiliser sans problèmes sur mon mini?