What would you think is a good default timeout? Our deployment takes usually between 1 and 5 minutes. 10?