Yeah dude that's a decently expensive fix. If it's not ultra bad, like you don't lose a lot of oil, I would leave it. I know so guys on here are the kind that fix it no matter the cost, but that's not a quick fix. Unless you're a mechanic then have at it.