Navy money the Corps gets for flight hours is ‘blue dollars’.
Been a long, long time since I last heard THAT....