Where do they get these names?

The new republican house majority leader is called Boehner. Boehner. Hey, at least his name goes well with Bush and Dick jokes.