Replacing dome light

[daffyack]

Sorry if this topic is already been posted.

I want to upgrade dome light.

I know that the model # is DE3175

but as long as the length of the bulb is the same, it should be fine, right?

so I want to double check the length of the bulb.

is it only 31mm that will fit into the dome light?

Thank you