IF (and that's a might big IF) you could find a GREAT 1315 or 1320, those were pretty darn good small mowers. I see them for sale every blue moon, but they are mostly used up. The only reason I mention them is that (around here anyway) that's the size machine folks ran baggers on. Can't argue with the ones listed, may I add a 582 or 582 Special to the list. I think finding a bagger machine will be the hard part.
Do you REALLY want/need a bagger?