The most recent HRC export price from Egypt-based mill EZDK is at around $775/mt FOB, while the latest export price of EFS, another Egyptian mill, is at $765-770/mt FOB for the same product.