Yes, drill baby drill! If you didn’t remove the hot-end, you’d have to use two tubes, drilling carefully with a flat bottom bit, wouldn’t you? Or how would you remove the existing tube? At least for me, it’s a 1 min operation to remove the head, two screws. I have enough slack in the cabling to remove it without cutting zip-ties.
Thanks, I was pleased with the quality of the print. Did a iPhone case for my son, was tough to put on, but once there, worked well.