Mission accomplished. Completed the Marine Corps Marathon in 3:42:18. Took longer than I imagined, as my pace plan to ratchet it down in mile 15 and mile 23 just wasn't possible on this day. I had pretty bad positive splits after mile 20, and lost 12 minutes starting with the hills and the bridge at mile 20. My injury and lack of training for the past six weeks definitely caught up to me in the final 6.2, as can be expected.
But though it was disappointing compared to my pacing on my 20+ training run and disappointing in my personal goals being unaccomplished, it was objectively a good time, in the top 10% or so of runners, and I am now motivated to tackle another one.