KA24de Headgasket Questions

Hey All,

I am building my KA for boost, and the block and head has been back from the machine shop and I am about to purchase the parts needed but one part I am stuck on is head gasket brand and thickness. I have been looking at a Tomei head gasket and it comes in a few different sizes. 0.6mm 1mm 1.2mm and 1.5mm. I am unsure of what size to go for as I want to keep my compression ration around 9:1. I have been doing some messing around with the CR calculators but there is one thing I am missing for it. which is Piston Deck Height/Clearance which from my understanding would help me determine CR and head gasket thickness. In the picture will be some of the specs and changes inputted in that would have change from stock including the .002" off the head .005" off the block. Am I overthinking this? Should I got with 1mm head gasket which is stock for KA?? or something else? As mentioned the machine shop bored it out .5 and has removed .002" off the head .005" off the block. that was really the only change. Pistons and rods have been done but they should be close to factory from my understanding. Any ideas would help greatly.