@Dodgerblue: Isn't it James Inhofe's middle name?