Replacing a shower mixer tap