[paulofto]

You guys are likely correct but just in case have them do a boroscope of the IMS through the sump plug hole. You can't be too careful. Oh yeah, and make sure the radiators are clear of debris.