Wczoraj po dłuższym zastanowieniu oraz kilku pomiarach doszedłem do wniosku, że to raczej M10. Nawet gdy gwint będzie za dużo to nie ma zbytnio problemu, więc lepiej kupić z większym niż za małym, bo wtedy niewiele da się zrobić. Dzięki za odpowiedź. Można zamknąć.