Haven't any you guys heard of Tradebit. Service manual there are more reasonable. Now of course they are digital PDF copies instead of paperbacks. An example the above Z430 in paperback is $70 where the digital copy is $15 - $20.
And the G4200 SM is $24