The higher the K, the less red will be in there.. 20000K is really high..
Lumens mean dick to plants.. Lumens are measured in terms of the absorbtion spectrum of the human, not plants, and our peak lies right at 550nm where plants don't absorb well.. Lumens are only relevent to photosynthesis is you're comparing two lights with the same K rating..
The lower the K rating the lower then energy of the average photon, so you will get more photosynthetic power from 175W of lower K..
A 175W is 'sufficient' for that area, but the height will be a problem.. MH bulbs are big unless you hunt out special ones.. A 175W bulb has a 4" diameter, and it has to stay atleast 8" maybe from the plants..
Aquarium shops may have tubular bulbs, but honestly I don't even think you could pull it off in that area with one of these stadium style..
http://www.drsfostersmith.com/product/prod_display.cfm?pcatid=13949