Thanks for the links. I guess I should have searched harder.
I also found this thread about Simon’s XHP35 driver. If I’m understanding things correctly, I can swap R16 to a 376K that should get me 9V output. I’m guessing the FC40 driver is similar.