while surfing eBay, I found some strange vex branded motors. So, I know that they were released for VEXplorer, but I had no idea they had a separate release. Looking into it, I found this forum post about their release for vex blue. What the heck is vex blue? Are these motors technically vexplorer electronics? @DRow halp plz