Lawnboy mower for sale at a local auction house and was thinking of placing a bid if it’s not to high priced, any thoughts on that mower? Thanks