We just downloaded a digital version of the books, which isn't as user-friendly as the DVD versions, but at least it's working.
You need a Korean teacher to create an account.
1.
https://info.edunet.net/2. Click on 디지털교과서 (Digital Textbook)
3. Have a Korean teacher sign up and log in.
4. Download and install the Digital Textbook Viewer (뷰어설치 및 활용).
5. Open the Digital Textbook Viewer program. Click either the + icon (only shown if no books have been added) or the download icon (upper right corner "스토어") to choose and download your textbooks.
This method appears to apply for multiple publishers. Because I'm using my co-teacher's login, I'm seeing all the textbooks my school currently uses.
I hope this helps!