That's great burchd, glad I could be of assistance. I, personally, prefer a Spanish tradesman (unless it's Eric the air-con man of course) haha. Seriously, I think the Spanish have their "own way" with plumbing and electrics, and I think they know best how to fix it. And apart from anything else José is a very nice guy.