how do they cut the greens at golf courses? Do they use a special grass cutter?

http://images.google.com/images?um=1&tab=wi&hl=en&q=golf%20course%20greens%20mower