Print a little timing on launches