Just out of curiousity, where is the battery located on the 4000? Is it under the rear seat like in the 5000? On my 5000, there is a regular sized Sears Diehard (put in by the previous owner) that doesn't look like anything special was needed to put it in there. Zafer