That would be something the museum should look into. I think there would be copyright laws involved, and i assume the museum must have a legal right to copy, print original manuals, so it should apply to service bulletins.