Thanks Drew for the tips. I just returned from a trip to Sardinian caves with almost 70 kg of air travel luggage. Having squeezed through a number of "minor" restrictions whilst still recording continuous video, I realized how good my handheld 1960 lumen Green Force Heptastar LED is in those situations.
Consequently, the more powerful lighting will be for domestic boat or car based diving trips. I have been considering HMI lamps, and heard some positive comments by cave divers. I have also heard concern about availability of quality spare parts. In addition to PV200, Apollo and Nuytco HMI lamps, I have noted Salvo/Light Monkey and Death Ray. I have not yet contacted Heliumizer, but, the word of mouth is that the guy's real work is quite time-consuming.
Provided that the quality of light is/would be good enough the high powered LEDs are becoming more tempting. That's why I am interested in users' experiences (and CRI values) of EdgeDive and Sartek lamps. I have been considering also Keldan Luna 8 LA-V CRI due to its quoted CRI value of 95 and 5 settings. However at 3000 or 4000 lumens it is only slightly brighter than my current Green Force.