It's a 32mm.

I finally did it the other day!! With the right tools is really not that difficult, and I didn't have to take a picture or look online to remember how to put back the main belt.

In all, well worth it. Thanks to everyone that contributed to this thread and helped us to get the job done right and for the right price:-)