Oil Change

I change my Taco every 7500 running synthetic. Manual states 5000 normally.