[...]I thought they were spec.d to voltage but I'm not sure since someone else says otherwise.
They are spec'd to maximum current, but as a semiconductor have a nonlinear knee-like voltage drop curve. In and around its operating range this usually means for example that a red LED will drop a little less than 2V from anode to cathode (or in the high 3V range or more for blue, etc.). The voltage drop is related to the semiconductor composition.
You generally design the power for the LED around the current it wants (for a given brightness); somewhere under the maximum current. The LED itself handles maintaining a happy voltage drop at that point. So while the LED does have a voltage based parameter (forward voltage drop), you don't want to just provide it that voltage with an unlimited current capacity -- you design to limit current and let the voltage across the part sort itself out. If you are just using a resistor for this purpose, as opposed to a constant current supply or something like that, then what you want to do is to select the resistor based on the current draw and voltage drop.
It's just a basic Ohm's Law exercise: Vs - Vf = If * R, so R = (Vs - Vf) / If
Or, in other words the resistor would be the supply voltage minus the forward voltage drop of the LED, divided by the current you want to flow across it.
Anyways the consequence of this is that the further the supply voltage is from the voltage drop, the less changing the value of the resistor will matter for swapping an LED even if it has a slightly different voltage drop. For example if we had a 9V supply voltage and a 20mA max / 1.7V drop LED originally (which seems to be typical of "regular" red LEDs), you would have a 360 Ohm resistor in there. If you were to replace that LED with a 50 mA max / 1.9V drop LED (typical of "high brightness" red LEDs), then it would have 19.7mA flowing through it, about a 2.7% drop in current. If you had a 5V supply voltage originally, you'd have a 160 Ohm resistor in there for the same LED and putting the replacement 1.9V drop LED in there would be a 6% drop in current. This will continue to get bigger and bigger as the supply and drop voltages converge.
"High Brightness" LEDs -- I believe -- produce more lumens per watt within their operating range and if you look at the spec sheets the 40 and 50mA ones linked are happy to operate around 20mA. So even if they are not pushed to their maximum current I would think they would be brighter than the standard LEDs.
Given that and the illustration of current differences above this is basically a long winded way of showing that swapping the regular red LED with a high brightness red LED will probably be fine without worrying about much else. If JimmyM is worried about having to deal with resistor calculations, etc. I would just perform the swap, see what it looks like, and only worry about anything further as necessary. It's hard to make any further assumptions about what would be necessary without either seeing the schematic or opening it up and taking measurements.
Anyways that's enough of LED 101 out of me -- plenty of other (and better) resources than me on the subject if anyone feels inclined to look into it.
For JimmyM, I think the thing to worry about most at this point is developing reliable soldering skills
