Thanks!
For anyone else in UK (or EU?) thinking of ordering it, it's $200 by the time they've finished with handling and postage costs!! Just posting to save you clicking all the way thru the form.
Back to eBay for me!
Ta for the post though, always useful to have the shop manual.