There cold be a plug or the intake gasket itself is leaking. If the plug is removable then it should be repairable. But the mechanicn should have given you an estimate as costs vary by where you are. I would imagine at least a couple hundred dollars. But it could be more.