Does a paid judgment still get reported for 7 years? Or is it removed from public record after paid in full?