Thank you both very much for your replies.I did see the manual on ebay,thats what aroused my curiosity.Just had a look now and it sold for £51.00 .Was that expensive?