I would have it changed. Low cost for piece of mind IMO.
I believe manufacturers consider 150k a lifetime, I consider it a fun 5 years.
I'm asking them to change mine at 70k and will see what they suggest.
If not suggested to changed at 70k, it will be changed at 80k, as well as coolant, just to...