Pretty much, yes. They want to keep the people making those engines employed. I think there might be some talk about eventually going to a renewed F-1 engine with a much reduced complexity and greater thrust than the original. There is a reason why the SLS is also known as the Senate Launch System.