I would be surprised if they didn't have the gerber files and firmware bits for these boards in some type of revision control system; it would be massively incompetent of them if they didn't. I think the tricky part might be finding the people who worked on these boards and who would be knowledgeable about getting them manufactured again. Also, finding the right person to flash the correct firmware might be difficult.