Is the Dr. Gonzo bonus disc good enough or not?
The Dr. Gonzo material is MORE than fine for your needs. I have done my own rips of some VHS documentaries like From Star Wars to Jedi (1983 and 1990 VHS releases) and the Making of Star Wars doco from 1995.
Good luck on your project.