Got my car back on Friday and everything seems to be working fine. They replaced the ABS module and bled the brakes. If anything else happens, I will update the thread!