Hi Could someone please clarify if the gecko BDLTSC810K AND BDLTS410K topside controllers are interchangeable. we have a BDLTSC4 on our system which is faulty and we have a received a BDLTSC8 to replace it . We believe it should just plug in and be ok?