A Hobbico battery used to start R/C airplane engines will indeed start a Lawnboy. I have one on my 8481AE. It will not fit under the factory green plastic housing, a point to consider if you want to keep it OEM. I mounted mine with 3M outdoor mounting tape. Cost is 24.00 VS 80+ for the factory battery.
Jeff