Does anyone know when Mariner stopped making the 3.5hp aircooled engine, their approximate value, and whether spares are still available
