Juan's pit crew was able to get his car back onto the racetrack 0.8 second faster than Paul's crew. Paul's crew took 1.2 seconds longer than Terry's crew. Terry's crew took 5.2 seconds to complete their pit stop. How long did Juan's crew take?