It takes ben 6 hours to mow and trim his landscaped 5 acres. A professional lawn service estimated it would take 4 hours. If ben worked together with the professional lawn service, how long would it take them to mow the 5 acres?