C# 关于修改文件扩展名的问题

比方说现有一个文件：

doc_Diff_YYYYMMDDHH24MI_YYYYMMDDHH24MISS.SSS_Trigger

它没有指定类型

希望它可以最终被修改为：

doc_Diff_YYYYMMDDHH24MI_YYYYMMDDHH24MISS.SSS.csv

原来用的方法是ChangeExtension(文件名,".csv").Replace("_Trigger", string.Empty)

但是这样以来毫秒数".SSS"这部分就没了。

请问有没有什么方法可以实现（C#）？

测试了一下题目给的说明：

string file = "doc_Diff_YYYYMMDDHH24MI_YYYYMMDDHH24MISS.SSS_Trigger.trg";
string rlt = Path.ChangeExtension(file, "csv").Replace("_Trigger", string.Empty);
Console.WriteLine(rlt);

结果：

doc_Diff_YYYYMMDDHH24MI_YYYYMMDDHH24MISS.SSS.csv
 

压根没问题啊