You're probably OK leaving it, but if it was me, I'd probably get a bag of easy sand 90 and patch up the holes. If you follow this guy's instructions, and buy like 20 bucks worth of materials/tools he recommends, you'd have it done in under an hour and you'd never have to worry about it in the...