Please think, of the next guy, that has to remove that cover. Use the OEM paper/rubber gasket if at all possible. Or a sealant that doesn't fully harden.
RTV is amateur hour in my book. Red is the wrong color type for oil anyway. Your mower, use what you like.