What a relief

I have been really struggling at work lately due to a colleague. He works for an outside agency in our office so does not come under any management in the office. He is rude, lacks any kind of customer service and is generally lazy. I was contemplating leaving as staff complaints against him were not listened to but hurrah I don't need to he handed his notice in this morning and I'm on holiday for his last weeks. Its such a relief I no longer dread work (well not as much anyway).