What type of coolant came stock in a 1994 325is? My friend's is starting to run a bit warm after 14 years of faithful service.