Wolf Gas Range/Oven - Replace oven burner tube and igniter

My brother's Wolf Range Oven, model AS30Ki-1, had a whooshing sound every now and then. When he opened it up to inspect the bake burner tube, he saw a hole caused by rusting and corrosion. He ordered Wolf certified parts from a local distributor despite finding similar bake burner tubes on the internet (very few of them were any cheaper than the distributor). The burner tube was under $100. Since he was doing this work to pull the tube, he also decided to also replace the ignitor (around $80) because those often go out and he didn't want to do work twice.