The Magura MT5 and MT7 also use the red HIGo/Julet plug. Additionally, there are adapters out there that go from yellow to red, or you can have some made (e-bike-technologies.de used to do mine for me). But the MT5's are widely regarded as the best ebike brakeset out there. Priced accordingly at about $100-125 per axle. More when you consider they need thicker rotors and you can't re-use what you have. But if you are looking at the price of those Tektros, the Maguras are far better brakes for much less money. I use the same rotors as the Tektros do though. Tektro Type 17. They are cheap at about $21 each and thicker at 2.3mm than even the 2.1mm Magura rotors, meaning they almost never wear out. Normal brake rotors are 1.8mm thick or less.
Before you buy any brakes, check to see if the cutoffs you have now are 'openers' or 'closers'. Brake cutoffs work one of two ways: Pulling on the lever closes a circuit (closers) or pulling on the lever opens a circuit (openers). Everything I have ever worked with is a closer. But I know openers exist. Magura makes both and the only way you can tell the difference is in the product descr if they mention it, or in the part number. Find out what you need in advance so you don't find out the hard way.