I just had my 2000 323i power steering pump replaced and my mechanic refilled it with Pentosin 11s as opposed to ATF. Will this damage anything? Should I have it flused and refilled with ATF? Considering I just spend $1200 I don't want to have to spend anymore. Please help.