Exhaust gasket sealer

I need to use some type of RTV or other product to seal the choke pocket gasket on my /6. Is high temp RTV or Hylomar gonna do the job? They are rated for about 700 deg. is that enough or is there something else out there?