They probably did change it! Mine was manky at 20k. Definitely worth getting them changed regularly. They're about £10-£15 and an easy diy, so well worth doing often.