The orange-bodied white-LED-lighted keychain lights sold by countycomm.com are among my favorite inexpensive lights. At $1.20 each, he can buy a bunch and afford to lose a few of them.
http://www.countycomm.com/orngled.htm They also have a clip-on version for $4 each.
http://www.countycomm.com/ARES%20SOLED.htmMy slightly higher-end choice would be the Fenix E01 for abt $12.50 (at brightguy.com).