I work at KPN's tech support desk and trust me, they really won't do much about this. When it comes to a simple ddos attack, they'll tell you to either deal with it or go to the cops. You could try contacting the Abuse-desk to see if they can help you with the problem. Phoning the tech support...