The former is what I meant .... so it sounds like you're good to go. Nice job BTW! Pulling/replacing head and
timing cover is a huge DIY job. I'm sure you don't wanna go through that again.
I learned the hard way that once you torque down a head, you cannot re-use the head gasket, no matter how long you ran the car