Leave it stock, you won't run into any trouble with a T25. It would cost a fair few quid to port a cylinder head properly, you would probably gain like 10bhp up top, but you will likely lose 30bhp low-mid range so if your chasing numbers then go for it, but for a nice road runner then leave the ports stock size.