ibanez tonelok switch replacement?

[garfo]

Hey everyone, I have had two Ibanez DE-7 delay pedals in the past and both crapped on me. I was thinking of getting a new one but only If I could replace the switch for a similar one of better quality.
So, I wanted to check if anyone knows what type of switch it is!?