Yes, I recall seeing that PET 'restoration' video before
- Where they ended-up with a bit of a modern Hybrid-PET, having to put a new 'clone' Mini PET motherboard from Tynemouth Software in it as original was missing. So rather less original!
Although it's fortunate that this Mini PET board was designed to have the connectors in the same positions, to match cut-outs in the case.
However, it cost them rather a lot to do this, as the Mini PET is quite expensive (£200 as a kit or £300 assembled! although it seems you do also get a Keyboard PCB with it) for what's on it, from looking at this Youtube video on assembling one:
https://www.youtube.com/watch?v=zHAIuE5BQWk
But it could be you're paying a bit for their work in redesigning the video circuitry, to have firmware in an Atmel ATMEGA164P20 uC implementing a CRTC IC etc. (I presume they've used the Kernal from the later 8032 etc PET's that had a CRTC IC and allowed 80 column etc.)
I'll have to see how much the IC's they've used on the Mini PET - particularly the large DIL package IDT 1K Dual-port video RAM, compare in price to the ones they used here:
https://www.eevblog.com/forum/projec...programmer/75/