I ran motorcraft 15w40 in my current 7.3 for about 50k miles. No issues. But I changed it every 3k.
Back to the OP, I've used Mobil1 "turbodiesel" 5w40. I got it for 19.99/gal on sale at oreillyauto. It retails there for 29.99. I don't find the valvoline extreme blue to be any better. I ran that for 20k and switched to the valvoline because everyone sad how great it was. Aside from the cold startup benefits during winter I don't know how great syn is. Sounds like you got it handled by though!
Back to the OP, I've used Mobil1 "turbodiesel" 5w40. I got it for 19.99/gal on sale at oreillyauto. It retails there for 29.99. I don't find the valvoline extreme blue to be any better. I ran that for 20k and switched to the valvoline because everyone sad how great it was. Aside from the cold startup benefits during winter I don't know how great syn is. Sounds like you got it handled by though!