I took a trip at Google, and found this service manual.
Hope it is for some help, even if it's not WX.
(There are also WK if search Google.)
A bit 'tricky' to download if not donate or use 'like clicks', but as usual, to take some time do help. Here
is the link as well, if anyone need other manuals.