So if it's no Iran Navy that means they can't choke off the straight of hormuz right
To add to all the replies you already got, Iran is an aeroballistic power. Its navy and air force are bottom tier and same as their air defense, it's very likely close to non existent at the moment or hidden to not be exposed and definitely lost.
It's obviously an issue but not critical for them as they are not built like a Western military where air superiority is paramount. They are specialized in drones/rockets/missiles and their strategy is to launch the cheapest and quickest made stuff (shaheds) against expensive and slow to reload/replace systems. Once those are depleted or down, they may fire more of their more expense ballistic missiles.
Analysts say that before this war it had up to 3000+
ballistic missiles and likely way more drones and it supposedly produced 50 missiles and at most 500 drones a month. This is their advantage in any conflict.
So that's why they can launch cheap shaheds (worth 5 figures it's said) in the strait of Hormuz (and the Suez canal) almost at will and that's enough to shut it down. They don't even have to hit any target but the threat is enough for insurance prices to skyrocket and force shipping lanes to reroute through Cape of Good Hope.
They have a lot of stock but their weak point is that they need to use mobile launchers to fire them and those launchers are not as numerous (rumoured to be in the low hundreds). So the strategy for Israel/US is to target those rather than the stockpiles but in a country that vast, it's a cat and mouse challenge.