I'm planning to build a 16x24 shop this summer and I like the idea of radiant heat. I looked into hot water heat in the floor but that was to costly to install for a small shop. So now I am looking at these ceiling mounted radiant tube heaters. Anybody out there using these? I was planning on 9ft. ceilings. Is that high enough for this type of heating? Pros and cons?