No worries, glad to help out if I can.
That one you linked to is no good though, it's just a pot mate, you need a rotary switch (just looks similar to a pot).
If you look at the existing one on your board, it's got 9 pins. I should imagine finding an exact match will be difficult. Maybe try Hardwire & see if they do spares for it?
Other than that, best bet is to just try something like
this thing and have it looking different but functioning again. Mind you, the one I linked to is probably far too big to fit in your pedal, hmm!
It's better to have it & not need it, than to need it & not have it!