I just checked, and your pacer slowed down an average of almost 1 min per mile for the last 6 miles, and he still finished in 4:21:33, so he was definitely on a 4:15 pace through mile 20.
My pacer also went out too fast, so I dropped him at about mile 5. Just checked his splits, and he was an...