I had the same lights on in the dash and the wing would not come with the red light flashing.
The fix was to replace the pass side front wheel sensor and reset the connector plug on the ABS module and then clear the code. Then after driving like above 20 mph for a few seconds it reset the ABS/BAS lights. Make sure of the codes before having ANY work done and the star scanner does tell them what exactly is wrong and where. I know it seems like a lot of technology is a bad thing but in this case the car will give the right codes when scanned and very specific repair info. This sounds like a problem with the TCU and not reading the speed sensor on 1 of the wheels.