The first computer I ever used was a PET. It was in 3rd grade. My teacher bought it with his own money and brought it to school. I've been looking to get a PET for quite a while & I often find them on eBay with missing keyboard keys. Any chance that these are something that can be 3D printed or otherwise replaced easily? As much as I would like a chiclet keyboard PET 2001, most likely I'll get a 4032 or 8032 because of cost, so those keyboards are of more interest to me.

P.S. If anyone has a PET they would like to sell, please let me know.