Wavetek 193 service manual needed

[Steve]

This is for a friend that doesn't have web access.
Hoping to find one for about $20.