I have got a 4010 which I use as a second saw. I have a wobble saw for it which it handles without any problems but i very rarely use it.
This may fit your saw but it comes at a price.
http://www.dm-tools.co.uk/product.php/sn/SCH72310709
If you are still struggling for a manual I may be able...