Near as I can measure, it looks like it must be 130 mm or close to it. Tried to go by the shop with the really good repairman, but they opened two hours later than I thought and I couldn't wait until noon! I'll try again another day.

Thanks.