The population of Boca Raton, Florida on December 15th 2011 is approximately 88,415. (Extrapolated from a 2000 US census population of 74,764 and a population of 86,396 on February 21st 2010.)
The CIA world factbook says "machinery and equipment 51.6%, other manufactures 35.7%, fuels and electricity 7.7%, food products 3.1%, raw materials 2.0%". They are a great site for finding out...