Unfortunately the manual does not give us socket and wrench sizes. That is normally left to the mechanic or person doing the repair to figure out. I included the process for your reference.
Basically you will need to just have a socket set there and a wrench set and then try one size that you think looks close and then go up or down in size until you find the correct one.
Sorry that they don't list this info. Let me know if you have other questions. Thanks
Images (Click to enlarge)
Aug 10, 2020 at 6:40 AM