Right now it seems that TimerOne has been ported over for the T4. The Timer1 is using flexPWM so I believe those are pins 0,1,24,15, I think.

I am trying to figure out what the differences are between TmerOne and TimerThree to begin with and if nothing then wouldn't the same changes apply?