[...trimmed text...]

I also think that is correct. You can pull the cover out without removing the timing belt. Be sure to use the updated original thermostat though. I believe it is heavier and/or made of stainless steel... Login to read more.