I'm pretty new to this, though I do remember reading somewhere that if you run the Chip at 4Mhz, 9600 baud is just that but if you run the pic at a higher rate, the 9600 baud setting is also multiplied. so you could get the equivelant of 24000baud if you run the chip at 10Mhz?
Sorry if I am wrong.