> they can obviously cause a lot of damage but they would obviously lose that war if the US decided they had to remove the regime by force
I'm genuinely sceptical of this. If America literally invaded Iran, there is a good chance Chinese production comes to back them up. At that point we're fighting with a long logistics chain on someone else's territory (giving them advantages of knowing the land, having local sympathies and having a greater reason to fight) while getting pelted by asymmetric-warfare tactics we can't meaningfully reciprocate.
> unfortunately this likely is going to end up resulting in a ground invasion being inevitable at some point
Why? Just remove their ability to destroy Israel. Keep taking out their nuclear programme from time to time and have the Congress ratify the JCPOA in case they come back to the table.