so i got this craftsman outdoor products catalog yesterday. as im looking through it i see a commercial 36 inch mower for 2500 bucks. i have a 20 inch craftsman that we neven changed the oil in for 14 years and it ran great. has anyone had any experience with larger craftsman mowers? thanks!