Just picked this up yesterday from the 2nd owner who was a nice retired veteran. Car has 77K miles and is a cream puff, fully loaded, and of course the best part is the 3800 series II.
I would look into changing the coolant elbows that go into the belt tensioner, clean or not they all go sooner or later, typical on the series II 3800's, I've owned three and they all went at around 9-10 yrs. old.