If you ask the record companies, they will say you have to buy them again. But it depends a bit on what country you live in, whether it would be considered copyright infringement or not.

If the records are mint condition, then I would highly recommend ripping them yourself rather than downloading them (only to do with quality, not legal issues )