Yes, I have. Very cool server. It's where I first heard nostr:nprofile1qqsx8zd7vjg70d5na8ek3m8g3lx3ghc8cp5d9sdm4epy0wd4aape6vspz4mhxue69uhk2er9dchxummnw3ezumrpdejqzrthwden5te0dehhxtnvdakqzyrhwden5te0dehhxarj9emkjmn94n3hjy playing on their in-game radio.