If Mark welded for 9 minutes how long in minutes would Mark let the welder cool before Mark welded again under optimal conditions ?