Ну и славно.
А касательно инструкций и сервис-мануалов, далеко не на любую технику есть в открытом доступе.
Сам лично сегодня купил в PDF формате WSM на JCB 8025/8030/8035 на одном из каталожных ресурсов, 4800 руб . Один из ближних постоянных клиентов купил 8030 и в ремонт пригнал сейчас. Обычное дело, эту трату просто приплюсую к ремонту...