Good advice, a thicker head gasket is always better than two thin one's.
By the way donnyg thicker head gasket will lower compression, thicker base gasket will lower compression and change port timing slightly, although someone cleverer than me will have to explain what changing port timing does.