We investigate whether it is possible to maintain the computational features of QED while avoiding some of its mathematical difficulties by formulating QFTs on Hilbert bundles. This encounters two problems: 1) Haag's theorem persists, and 2) admissible fields do not generate motions on the base space. To do the latter, the coupling constant has to be a vector field upon the base space.