OK, this is of such little consequence that I hesitate to ask, but does the glove box light have some sort of lens or diffuser mounted in it? Mine...