Google found me these guys:
https://www.controlrepair.com/produc...ntroller/29485
but am going to call $500 "uneconomical", at least without some significant cost-sharing from the seller (and the listing is for the color controller, not the VC, although I'd bet the electronics are pretty similar).
Bookmarks