My office is not the most pleasant place to be right now. Yesterday there was a serious water leak nearby (from a downpipe coming from the roof). I understand that this has been dealt with. Unfortunately water came into my office and wetted the carpet. It caused quite an unplesant smell, which will probably remain until the carpet has dried out. Together with the ongoing rumbling noise mentioned in Thinking Space (which is not serious enough to have merited quick action) the working environment is far from ideal.