Picked up my work truck today after the maintenance department performed the routine service. The truck is a 2003 F250 with a V-8 gas engine that specs 5w20. I asked the service mgr. what type of oil that they put in. He said that they use Hydrotex synthetic blend 15w40 in everything, including the diesel school buses, with yearly oil changes. I have a 2003 F150, and have used 5w20, 5w30, and 10w30 but never 15w40. Any thoughts?