Those aren't the brightest but if I had to, we would probably need four of those. I have two dispatch positions I'd need to light up. We have white lights in there but they're obnoxious at night.
I was gonna go and get some LED red rocker puddle lights but I'm concerned about RFI. We have 8 VHF radios, 2 800mhz, and 1 UHF in there with two future repeaters. I don't want interference by having them on.
Check out the whelen 3in round compartment lights. They're pretty decent output and you can get them in solid white, solid red or a split red and white.
If you need alot of red light and depending on where your mounting them I've done a pair of red whelen Vertexs in the hatch of a fire command vehicle at the chief's request. That threw a TON of light and had a really good spread.