First things first;
0.085mm? Thats about 0.003" of an inch, or almost 1/4th the thickness of a piece of notebook paper. I'll assume you're retarded and meant 0.85mm which equates to about 0.033" of an inch. I'd bet your 'boy' could get a .030" head gasket no problem. In fact, through the mysterious powers of google, within 2 searches, I found a .030" headgasket; In fact, here you go;
http://lmgtfy.com/?q=honda+head+gasket+ls%2Fvt Its the very first link.
Your friend is dumb for calculating this AFTER the purchase of other parts/during the build
Second ,
.085mm head gasket to have atleast a 12:16 to 1
If he's shooting for at
least 12.16:1 CR, then a thinner head gasket will just give him a higher number. If he wants that CR at highest, then simply get a thicker headgasket.