In this case, I think it was time to pull him. After he threw the 3-0 pitch for a strike to the last batter, he kinda shook his right arm. You don't want to leave a guy in there to possibly give up a BS hit that might dirty a great start. Keep his confidence high!