Houston fader replacement

Hi all, hoping someone can help, I have a Houston Controller (stop laughing) and I love it but the main stereo fader has been playing up, I have swopped it with channel 8’s fader but would like to get a replacement (ok carry on laughing).
I’m assuming this is very unlikely to happen! am I right? or does somebody know something that could help me?

I am interested in this as well. Anyone know part numbers or compatible part numbers? :question:

It’s not that easy unfortunately but here’s something from Gearslutz:

Maybe this helps as we do not have anything left and it was made by Soundcraft.