Indeed that 6k-10k+ range is sometimes tricky to mix for me. I think I usually tend to keep it more muted which is why I've been trying to push it a bit lately. My idea was to keep it there to give the music a bit more presence as it would be mixed very low during gameplay.
Thanks for your feedback! I'll keep it in mind =)