That's generally the fix, yes. It's another $500-600 to get them ready to install for me. Operations include a 5 angle valve job and milling them actually flat.
I'll add although the OP didn't mention a need to test for it - the roughness average (Ra) for the gasket surface is usually boarderline too rough if you're using MLS gaskets so if those are in the cards that has to be addressed when they cut the gasket surfaces.
