But hey, with 4 years spent on it by Microchip engineers, I doubt they were using Arduino .
That make sense... Perhaps Z80 or 8051?