[cubefox]

More precisely, those ~17 ships will fill a propellant depot ship, and once that is done, they can launch the HLS ship, that will then be filled with propellant from the propellant depot.