No estoy muy familiarizado con los dsPIC, pero según los dato que has pasado hice las siguientes cuentas:
XT = 4Mhz
XT_PLL = 8
focs = 4 x 8 = 32Mhz
si cada instrucción se lleva 4 ciclos de reloj, el micro corre a 8 millones de instrucciones por segundo, lo que nos da
TCY = 0,125 useg
es decir que el si no tienes prescaler, T1CONbits.TCKPS = 1, el Timer1 se incrementará cada 0,125 useg.
Tendrias que cargar el valor del TMR1 con 8000 para lograr la interupción de 1mseg.
O usar el prescaler en 64 si usaras el TMR1 en 8 bit y lo cargas con el valor 125.