Hi Claire.
I have brand new Auto box pedal i will put up photo for you now, that is if you have not purchased a second hand one.
1
2
https://rimmerbros.com/Item--i-SKB001031PMA
Drop me a PM if you would like a brand new one
Early pedals are different i think so you will need one from 2004 onwards.