I see two 13 mm bolts going into the thermostat housing. the bolts
are right next to the EGR valve pipe. are these the bolts that come
out to remove the t-stat housing? thanks!