I’m curious where you see the cutoff between short races worthy of a warmup and long races worthy of option 1. I think I can remember when I would have considered 5k long enough not to have a separate warmup! I guess with a 60 mi/wk base, a half marathon could be short enough for a separate warmup. I know I need a warmup for our upcoming 10K, but a 20 minute warmup followed by 6.2 miles will put me around the distance of my longest long run. I might be tempted to cut out the last 5 minutes from option 2.