Something around that size or bigger made by whelen, federal, tomar, code 3.... really any major maker would work just fine. What ever is the cheapest the dealer can get for a GEN 3 with 5 or more LEDs per head should be fine. Certian builders seem to use certian brands. It used to make sense to keep specing the same brand of lights specifically on each unit when bulbs were an issue. Now I exspect the LEDs to outlast the vehicle...
What ever you get make sure the light is 100% flush or it will be torn off while removing equipment. Par36 are an excellent choice for this. You can get some nice compartment illumination par 36 LEDs to match. But...I would be fine with the whelen 500 as long as they can get it flush mounted.