According to market sources, domestic HRC prices in Iran are currently at $575-580/mt ex-warehouse, including nine percent VAT, while demand in the local Iranian hot rolled coil (HRC) market is weak.