You can use any type of silicone for this. The difference in max recommended temp between regular RTV and so-called "high temp" silicone is extremely small, and in some cases, there's no difference at all. From what I can tell, "high-temp silicone" is strictly a marketing gimmick.
