I seem to remember 100k when they first came out but that was a while back. Does the service manual or maintenance schedul say anything about replacing it ?