just check the belt, dont clean anything, its easyier cleaned when everything is off, the dust if very fine nothing to worry about unless your belt looks knackered!!!! i've changed the belt of a A2, golf mk4, volvo s80 with a vw engine, quite easy as long as you've got instuctions, the correct tools, and maindealer service bit,
a mate of mine got cheapy stuff from ECP and 2 weeks later the belt decided to loose 16 teeth.... nice