Yeah, I ran into that last night when I did the update. Thankfully I have a desktop PC at home, but I mostly use my MacBook.
I've gamed using the HD 800/HD 800 S, Ether Flow (the headphones I own), and the SR-009. I can't comment on the other STAX models for gaming, sorry.
From memory HD 800 gave me the largest soundstage and the excellent positional accuracy. My Ether Flow always gives me a highly immersive experience with a medium sized soundstage presentation. The SR-009 was an absolute beast for detail retrieval and pinpointing sounds, likely helped by the sheer speed of its electrostatic drivers.
My Creative BT-W2 arrived yesterday and setup was simple following
@Yethal's instructions. I like how the PS4 Pro has a USB port on the rear, so the dongle's LED will be hidden behind the console. It took me a minute to figure out why I was getting no surround audio, but the PS4 switched to audio output via the dongle rather than optical. Once I switched that setting, everything seems to be working smoothly.
The X7 continues to impress with its versatility, but man there are just so many features on it I don't end up using.