The 0w-40 oil was in for a few thousand miles of local commuting, before the trip, so it happened at about 3.5k miles on the oil. It was a stupid thing to do, and now that the engine has a few miles on it I,m thinking about going from the 5w-30 to 10w-40. But after all this, I think I will watch...