https://www.ebay.com/itm/1372243559202 basic.p11 syslod.p11 rdt.p11 all from mid 1971 original RSTS? hope the person who got these knows what they bought