Thank you Dog33. I just dropped it off for scheduled service, and did not have a chance to look at the cable first. Hoping for the cable, 35US$. Not sure how to inspect the drive at the wheel, but it is a kinetic (non-electric) part...
Will let you guys know what I find out. Shoudl be able to check it out this wkend.
If I had a proper petcock, I probably would not care.