That would almost certainly be more expensive. When people talk about modern masks being $15M or so for each mask set, a huge fraction of the cost is this proc

That would almost certainly be more expensive. When people talk about modern masks being $15M or so for each mask set, a huge fraction of the cost is this process for the masks. It also doesn't tell you as much about how your design actually runs on the process in question.