Servo.h and VNH5019 Motor Shield no 20kHz driving

The mapping from timers to pins is hardwired in the ATmega microcontrollers alas.

Can the VNH5019 driver not be rewritten to use timer2?