But it’d be pretty cool if Bush nominated Michael Ledeen for DCI — if only to watch various heads explode around town.