Are the lim gaskets prone to leaking coolant on the 3100 like on the 3800 ? RON