Oh well, I wanted a new HDTV anyway.
JVC "Mastercommand" remote (RM-C424). This will work on pretty much any 13" or larger AV series JVC TV made in the early 90s, though it may lack a few of the functions of the big sets (e.g., PIP). The upgrade file (KM) for this remote is here.
JVC service manual for the AV-2080S (FXIII chassis). I originally obtained this while looking for service mode EFCs; it turns out this TV didn't have them. Inside are a reduced copy of the owners manual, disassembly and general safety instructions, specific service procedures, schematics and parts lists. This is an official JVC manual--NOT a Sams Photofacts or other aftermarket publication! Safety Disclaimer: This book is not a substitute for general experience with TV servicing procedures--if you're not comfortable poking around inside a TV, don't bother.
JVC instruction book (owners manual) for the AV-2075S/2080S. I'll include this as a "gimme" with either of the above.