Gday,

Why not just use the cheapie charger for 24 - 48 - 72 + hours?

That'll get it turning, if you only fire it up once every 3 months.

...and put vaseline on your terminals...

Cheers