Sorry, never used the HLGs! The basking light is only an option, if you like smoky flavour and your intention is to bbq your plants. Then I would just recommend a weber or a good smoker. The right tool for the right job and such... Basking lights are inefficient in regards.
Just go with the Arcadia. Start reading from page 1 of this thread and you will see, that as of now the best solution with the least amount of risk are the Arcadias HOT5 12%. I have contacted every single one of the big 12 (Osram, Philips, Trilux, Cooper, Infineon...). The light with the perfect spectrum and power is not abailable and therefore Arcadia remains the best option.