That's a conspicuously tiny starter battery. I've only seen that size of battery and terminal arrangement in emergency exit signs with the adjustable heads. Not saying you're wrong, just that it stands out.
Regardless: At that 9AH size I'd use a "battery maintainer" rated for 1 to 2 amps. Harbor Freight and others have plenty to chose from for less than $25.