Correct. It is only the natural beans that can't be imported.The beans may not be legal in the US but I doubt it means their essence used in a tobacco is not.
There was a time when I could've come up with several possible reasons why the beans were banned but I'd bet money that once upon a time someone in the vanilla industry felt a little threatened and pushed for the ban.