I believe the Tyco number for the small relay is :-
Tyco 0-1432793-1

I bought some, just in case, from a company called Mouser Electronics in May.
(No connection, just a customer)

Ian
2011 Plus 4
Wild Mogs Reims 2019, Goodwood 2018, Isle of Man 2017, Carried on to Caramulo" 2016