Liebherr 631C Service and Repair Manuals

There are several websites that advertise service manuals for the Liebherr Crawler Loaders.

http://ift.tt/1KdeZQi

and another

http://ift.tt/1Kdf0Us

They are about $50 each.

Anybody ever buy them?
Do they cover the LR631C Crawler Loader?

Thanks,
Fred

Liebherr 631C Service and Repair Manuals