da quel che mi ricordo io i PX - PXE non li facevano rossi, di rosso c'era il P200E soltanto