Technical Specs for the Microcontroller?

I just got my VEX robotics and programming kits today and I am looking forward to working on it with my son.

I am professional software developer and quite experienced with both C and assembly language programming. I have been reading through the documentation but I have one burning question out of the gate.

Which micro-chip is inside the VEX controller? I have it physically here in my hand but it is not labeled and I could not find it in any of the documentation.

Does anyone know the exact microchip number the VEX uses? Is there a link to a full technical specifications page?

Thanks,

John

im not sure full specs but i pretty sure the vex microcontroller uses 2 PIC microcontrollers, i dont know what type

Ok, I found out that everything you need is on the SUPPORT page. I should have went there first.