Hey Steve,
Thanks for the update and the positive review on that "dealership". Glad to see they recognized their mistake and did the right thing. The 10-40 won't hurt. I'd even run it next summer for a while but I'm like you. Mobile 1 cycle specific oil or Amsoil cycle specific. 20W50 is what I end up with.