Thanks for the link! I'd still like to own the physical manual, but that'll help in the meantime. Thanks again!
Just for the record: I came across this link several yrs ago after I bought Ringworld, and I needed replacement manuals but had forgotten the link. Thanks for the link, BET, I already bookmarked it. Why don't you make this link a sticky?