I've been reading about costly repairs to the radiator, water pump, etc. at about 100K miles. Had a neighbor spend about $1,000 on replacing this sort of equipment on his 528i. Anyone have similar horror stories?