Philips P800 family minis

I took one of the P859 boxes to check out. Power supplies turned out to be good, so I put in one of the P859 CPU cards (CP7RA). The fluorescent display briefly displayed "8.", followed by "000000". The expected output, according to the manual, is "ooFFFC", after the CPU has run a first self-test. I swapped out the CPU with one of the other ones, and this one does give me "ooFFFC". Hit the "0" button simultaneously with the "TEST" button to run the microdiagnostics, and got an indication that it failed on accessing memory. I plugged in a memory board, and now it passes all self-tests successfully (display "ooFF04"). So, at least this cpu and this memory board appear to be OK so far. I can push the "IPL" button, and using "INST" I can step through the IPL code (the listing is provided in the manual, so you have a good idea of what's going on). Off course, I'd like to get it to boot something, and the only media I have are the fixed platters in the three X1215's, and the 10 X1215 cartridges. These are labeled as follows: - DOM 210 & 211 for X1215 update P800 testprograms. 27-09-'84 R.v.d.Heyden. - X1215 IPL 63C2 Testprograms update 85-12-18 DOM9A/02 IT/10, DOM9C/02 IT/11 Userid: SDAPRO s:$load (for running testprograms) - SAG3 KERNEL 3 MULTIBASIC - DOM_HARRY OLDREL old sources of release 01-10-82 - TRAINING 004 P.H.Kraaijeveld - Service pack 1 "various programmes" - DISK Unit 1 - TP00 Test Pack - P800 (X1215) - Philips (unlabeled) The two cartridges labeled "testprograms" look promising; especially since instructions on how to run them are included. Of course, I want to make sure that the disk drive doesn't damage cartridges before I load these, so I'll test the drives with an the unlabeled Philips cartridge first. I'm wondering of the "TP00 Test Pack" is the "Servicing disk-pack" mentioned in the service manual. So, I'd really like to get at least one cartridge drive running, so I opened one up. There was a bit of dust inside, but not too much, and the disk compartment seems clean. However, I discovered a problem on the undersize of the drive. The drive belt is made out of cloth or nylon, covered in an orange substance (probably rubber). The rubber comes off in flakes, and a lot of the gooey stuff is stuck on the pulleys. All three drives suffer from this condition. I need to find a replacement for these. The belts are a little over 1/2 inch wide, and the length of the cloth as measured is 35-1/8 inches. I'm figuring I need a belt with a 35 inch inside circumference. The service manual only lists a Philips part number, no dimensions for the belt. Any idea where to get replacement belts? Cheers, Camiel