I moved to "the country" and no longer have local dive shops.
Also, I looked at the name brand dive lights. They're 3-5X more expensive and don't spec the LEDs. To a flashlight geek, these seem to be wholly inferior to the reputable chinese brands like wurkkos or sofirn.
Also also, I just threw out a set of expensive UK halogen lights. I expect to replace these new ones in a few years as LEDs continue to get more efficient. Going cheap seems to be the right choice for this kind of technology product.