Just to verify, is this the one?
https://www.walmart.com/ip/Eveready-Economy-LED-Flashlight/50033830?
Gotta check these things before laying down the princely sum of $2.47. :p Seriously, thanks for the pointer and discussion. I can see lots of uses for a long-lasting, modest output light...