Anyone have access to a federal 17x series light that can tell me the diameter of the dome, or more specifically, the diameter of the top opening in the chrome bezel? I'm at an antique mall looking at a possible alternative to a glass dome, but need to know the diameter of a stock one. Thanks!