We can get the 4041 service manual scanned from the vintagetek.org microfiche library of all Tektronix documentation - after COVID-19 is over. Right now Oregon is still in lockdown. They only charge $25 an hour for scans.
