I had a HP11 and it finally died. I sent it in for warranty repair and they were unable to fix it so they sent me a HP15UE which is great and appreciated but they do not come with a diffuser. The HP15 did. Fenix doesn't sell it now it seems. Does anyone know where one could be found?