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