Seriously? it is accessory belt not some highly specialised piece of equipment, if OP had just basic knowldge he could do it, R900 is not a bad price for parts and labour, OP just has to make sure that the belt is made by a reputable brand like Gates or something. It is usually as simple as realeasing the tension on the belt, routing the new one on and putting the tension back on.
A friend of mine services his own cars, he told me to just bring it over and "we" can do the belt, plugs, oil and filters - i just need to but the parts. But man.. I don't know there's a reason we are supposed to service at dealers lol. If something goes wrong at least they take all the risk.