Tangzhu Wukong (monkey king) vs Thieaudio Valhallah

Looking for a slight upgrade/sidegrade from my very first IEM (I'm normally a headphones guy), the Fiio FX17

Where I live (China, but I’m a foreigner), the Tangzu is considerably cheaper than the Valhallah. It seems to have a more exotic driver config than the Valhallah. And it looks more premium in build, accessories, packaging, cables, etc.

Alternatively, there are cheaper alternatives I’m looking at, such as the BGVP Solomon, or the Aful Dawn-X

Which do you recommend?