Hi,
if you still need a head gasket, KG trimning has got one for 92 to 93mm bore as they write in their catalog. That one is 1.2mm thick. They got different a few different gaskets on offer. You might want a fairly thick one which doesn't bring the CR up too high.
http://www.kgtrimning.com/KGTRIMNING162005web.pdf
It all sounds good and to me, can't wait for some boosting news :-)
Cheers,
Bruno