Good to hear it's all fixed. That is a huge bill to have to swallow but actually you go a great deal. I've never seen the center water pipe (cap with seal) fixed for anywhere close to that amount. Normally the charge is at least $2K at an indie.
Straight lines are for fast cars...turns are for fast drivers
'04 M3 - track
'06 650i Cab - daily driver
'02 Highlander - kid hauler
'01 330Ci - winter beater