Hi there. Buying my first mower after purchasing my first house on a 1/2 acre lot. Can anyone give me some info on this mower I’m thinking of buying. It’s $200. Can’t find any info on it. It just says rm7 sears craftsman on it and the seller has no info besides it runs well. Thanks!