your reading it right, let the car run for a minute and shut it off, wait a minute and then check it. Sounds like you are a bit ofer filled tho. BMW techs arent geniusses there people and there a lot worse horror stories about them. Thats why this board is here, a lot of people here refuse to take their cars to the dealers and work on them theirselves or use an indy for service.
95 E34 530I V2.37
===========
Those who make peaceful revolution impossible will make violent revolution inevitable.
John F. Kennedy