You could just grab a micrometer: https://www.amazon.com/Electronic-Micrometer-Millimeter-Conversion-Measuring/dp/B08ZNQRB39/ref=sr_1_2_sspa?crid=1I53ZAXMAQ4J4&keywords=micrometer&qid=1682001097&sprefix=micromete%2Caps%2C234&sr=8-2-spons&psc=1&spLa=ZW5jcnlwdGVkUXVhbGlmaWVyPUFUN0M1WU9UUkQxOE4mZW5jcnlwdGVkSWQ9QTAzMTYxNjgzQzU1TEdWMTZOUldZJmVuY3J5cHRlZEFkSWQ9QTA2MDU4NjMzMTJIWUdaSlpWRFFOJndpZGdldE5hbWU9c3BfYXRmJmFjdGlvbj1jbGlja1JlZGlyZWN0JmRvTm90TG9nQ2xpY2s9dHJ1ZQ==

(something like that)

from your local parts store and just give it a good measure to be 100% sure.