a workmate of mine has recently bought honda rc45.

he was hoping to get a workshop manuel for it but cant find one.
there is one on ebay, but he aint the most up to date person with the internet and would rather buy it from a shop or something.

any ideas if he might be able to get one, and where from?