A heads up on some workshop manuals.
 

Not me, but I thought a Pelican might like the manuals. Downside they are in New Zealand, but there are a lot of them. Your dollar buys about $1.45 Kiwi dollars. So about US$2,000

The ad' https://www.trademe.co.nz/motors/car-parts-accessories/porsche/auction-1634586137.htm?rsqid=e268148015384449a7c72d30a0c70 3ba

Extract from the ad'.

Porsche Factory workshop manual collection 15 years of collecting to put together
Probably the largest collection in New Zealand

6 x 356 manuals
911 65-72 vols 1 and 2
912 supplement manual
911 73-82 -set
914 -set
carrera inc turbo - set
carrera2 / 4 inc turbo - set
parts manuals from 1966 on wards for 911 /912 and 914 over 14 vols
rare working times / spec manuals plus others

OVER 58 VOLS IN TOTAL

"Buyer must pick-up"

that's a bit tricky

LOL I didn't notice that bit. Mind you there are a few Pelican members in Auckland.