Worth to note.
As far as US policy tools go, they readily escalate within one tool - such as committed ground troops they can expand it from a dirty dozen to 2 million or so, but they don't really escalate from one policy tool to another.
So bombing is one policy tool, an invasion is another.
But we'll see.