Just my two cents, but if you have a cylinder bore out by 9 thousands it is time for a rebore and new pistons. Otherwise you are just patching it and will be doing it all over again shortly.
If you want quench, and since you need pistons anyway, you can get it with a KB step head design piston with your open chamber heads, or 6 pack pistons with closed chamber head and a little deck milling on the block.
