Hugo, knowing you, you would not have stated this unless you have used the GQ-4X with the 2716 and the 2532, the EPROMs needed for pin for pin replacement on the PET.
I did check their compatibility list and at least for their version 4 unit (GQ-4X4), they do list these parts. This seems like...