Anybody know the actual dial diameter of a Sharkdiver 42mm ?

I'm looking into a mod thru a watchmaker, & need this critical info