HI USA, Anyone had sevcon gen4 burn out? if so was it repairable or could it be replaced with a cheaper gen4 as orginal is pretty expensive! UKWEST