I would ask the squatting millennial again. This time with a little more force. It’s a good and easy project and if they haven’t done it since 2004, they’ll learn something. Not to mention that they need to learn to be more helpful. Good luck.
FWIW, if that fails, it’s pretty easy. I used a program called dbpoweramp. It’s free for 21 days, which is plenty of time to do a large library of CDs. I went ahead and bought it just to support the product. One thing I really liked about it is that I could create a lossless version (basically not compressed, very large file) and a compressed file at the same time. I stored the lossless version in one folder and the compressed file in another folder. The compressed files all fit on one flash drive and play well on my truck radio.
https://www.dbpoweramp.com/cd-ripper.htm