On looking after someone pointed it out, Digi-Key item # DS00161-ND, $
3.30, is the "CD-Rom Microchip Technical Library".  Beats no answer to
e-mail to Microchip, I suppose!

  Mark