I feel like we've come full circle.
Codiak in the first reply to this thread suggested lflex with xml, and that looks like the direction I'm headed along with the halltg switch. Based on my poor measuring capabilities, it appears as if everything will fit.
Two final concerns: taskled states the driver should be against the heatsink. The problem is, where it will be sitting, the surface is curved. Will thermal paste or glue used to fill in that curve create any problems? And secondly, if the driver or switch reach up beyond the plane of the LED, will it create any strange artifacts in the beam?
Thanks again all!