Ive been thinking about giving my nephew a flashlight as a birthday gift. Now my choice is a Fenix LD10 or a Quark Mini 123, I was thinking LD10 because AA's are found everywhere vs CR123 normally at photo or specialty stores. Which light do you think would be better for a 7 y/o boy LD10 or Mini 123.