hot pipes