How much oil does a 3.5 hp tecumseh engine hold