I have one brand new in sealed box (I bought it in germany 10 years ago), and last year I bought another one complete, with the box and the instruction for 35€....So it's possible to find it, and with a good price, but it could take time....
Playmo_80