I have the first cookbook you listed and it's pretty good.
Kimchi is all about the authenticity of the ingredients, IMO. I have since found a source for Korean fish sauce which has improved my kimchi quite a bit. But recnetly have not been able to get Korean hot pepper.
So have been buying kimchi. Not all that bad.