Oh, and that other equation is IL = Iout + (/\IL / 2), so if /\IL is 0.625 then at 3A output IL = 3.3A, or I could have a 2.6A output with an inductor that saturates at 3A.
Hard to decide if I should go for the smaller 3A inductor:
Or this larger inductor rated for 5A:
I'm thinking I should just go for the smaller one. Costs half as much, and it actually states that it works at up to 5mhz which the Bourns does not. I assume it does, but it doesn't say, so...