new site for user and service manuals.
just a heads up for those interested - there's a very good collection here - even the JD800 service manual I was asking about the other week.....
http://www.technopolitan.se/manuals/
http://www.technopolitan.se/manuals/