I would consider how much the cam seal is leaking. You said it is small. Is it noticeably using any oil or just a bit messy? If all you have to do is wipe it off at oil changes to keep it looking better is one thing, if it is dripping and consuming oil is another. You can also buy a lot of oil for $1200 as long as you don't let it get low. Just some thoughts on how critical it really might be.