Yeah it does indeed... they also support PIC24, PIC32... if you're ready to pay the price and the annual fee too

Microchip C30 student work fine... Microchip have improve their C compilers lately.

MikroElektronika have some compiler for DsPIC too. Probably the only one Basic compiler 'till now... i said maybe....