Yes. 5000 marines for now but they will ultimately have to send more if a goal is regime change. They will also need more to carefully breach and clear the deep bunkers that the bunker buster ordinance can not penetrate likely also containing tripwires. There will also need to be some to patrol the shorelines of the straight, a lot more. IRGC are 200K highly trained zealot soldiers.