I don't know if they are the same ones, but I bought PDF workshop manuals on CD from a website which name currently eludes me. They were only about $20 including shipping. They are OK at best. Hard to navigate through them and many of the pages are actually scanned copies of actual pages. So the page was a bit hard to read. Nevertheless, search the web for a workshop manual site in the UK.