No, I use what's not really even a full hotend. It's just a hotend heatsink that's of the J-head breed. I was commenting and clarifying sizes for anyone else who wanted to print it, just to let them know to check the diameter of the print before making it and assuming they would fit.
(Wanna make a 25mm version? :-) I really like your design, and would like to be able to use it)