Got a generic LED Flashlight (three AAA batteries) that you see at checkout in an auto parts store..$3-5.
WAY brighter (and more reliable) than the old mandatory Maglite, not to mention, smaller and lighter.
On my ID lanyard, I keep one of those tiny keyring-type button flashlights. Mainliner store sells one for about $3.00 with the logo on it.
That little thing comes in handy in so many ways, and at five years old...still haven’t had to change the battery.