This thread has some relevant information, but I don’t think it provides a clear answer to your question.
It will definitely be easier (and cheaper) to use 393 motors with an Arduino, if all you need is a motor readily compatible with other VEX EDR parts.