right this is going to sound dumb/crazy but ive seen this script in some servers thats a radio that you can change teamspeak channels but instead of a frequency they are named channels and im trying to find it
wether its paid or free and i think if i put it here ill have a better chance of finding (Also sorry if its in the wrong place)
prolly custom work, not really difficult stuff if you have some development experience
from what ive seen in other servers it appears to be the exact same so i wouldnt think its custom