They sure are, at peak power that's a horsepower per side.
David, the gearboxes are these ones. They only sell them in batches of 50 or more, so I'm very lucky to have a pair or it would've been custom gearboxes and that's just a pain.