Hi!
I would use the highest expected voltage in the system which, in case of my truck, is 14.5 volts. According to a
different page on the same website Don used to design his lights, the apparent brightness doesn't change very much with a two-to-one change in current, however that will depend on the part number("model") of the actual LED used. Most, but not all, LEDs are designed to work on 20ma or less. Another factor to consider is that the light output(millicandelas) of the LEDs regardless of their color is highly variable and the less expensive ones are not always the bargain. If the vendor doesn't specify what the LED puts out at a certain current, I would steer clear of them. When designing these lights, one also needs to pay attention to "forward voltage drop".
The electronic suppliers I used very often are Digikey and Mouser Electronics. They both have a wide variety of components.
This LED from another supplier seems to be a bargain, except the beam of light it emits is probably more suited to a spotlight/reading light application.
PS I do not own any stocks, even in these companies.