That sounds about right for a Factory Service Manual. If I remember right Porsche wanted about $700.00 for the FSM for my 1987 944S, but its old enough I found it on CD for ~$15.00.

Out of curiosity, what broke in such a short time that was not covered by the Factory Warranty that you want to purchase a Service Manual already? Or is it you just want to learn more about your vehicle?

Sean

99 XJ Sport 2 Door, 4.0L, 5 speed, all stock. Daily Driver
79 F150 Standard Cab Short Box, 400ci, NP435, NP205, 35" SSRs