If it's leaking slightly, if it was me, i'd change it out before it got any worse just for peace of mind. How minor is the minor leakage? You definitely don't want coolant mixing with the oil. It's a fairly easy job to change them out even if you're slightly mechanically inclined especially with that write up. It doesn't take that long either. It took me a little longer than it should've because i'm sort of a neat freak and I spent more time than I should've cleaning, scraping and cleaning everything again as best as I could. Even stuff that I shouldn't have had to clean I did while I was in there. Haha. But I just looked at it as "preventative cleaning". I kinda thought of myself as forrest gump. Well since I cleaned this much, I figured why not clean this too? Hahaha.
