Don't recall an aux pump in my 09. Been a while since using ISTA but should be able to test the pump when going through troubleshooting. If seals did go downstream and causing blockage could removing hoses 5 and 6 then back flushing through 7 blow them out?
https://www.realoem.com/bmw/enUS/sho...diagId=64_1591