Thank you for those portions of the service manual @Haz. Unfortunately, I don't have the tools needed to complete this, so I have to send it out to get done ☹️. I got quoted about $3,300 to have it repaired by my local Ford dealer, that was the best price I could get. I spoke with a mechanic and he did say the VCT units have an updated design that should prevent this issue in the future, I'm hopeful that is the case.