I checked the owners manual and the repair manual and neither mentions it. The maintenance manual says to change it according to the maintenance schedule but it's not in there. So in the absence of any information, I say you should change it. It won't hurt and it's cheap insurance.