Thanks for the info. As my car is dark blue, the nuts were hard to see from the inside, so I painted them yellow from outside, and that made seeing them much easier.
Another problem now, though: the expansion tank needs to be moved to allow the washer filler neck to come out. From the Haynes...