Just replaced my Paradox alarm battery last week.
Mine are F1 terminals but take note my alarm setup is over 25 years old.
My battery is a 7Ah one.
After a Google search, I bought mine online from iVent Solutions. It was cheaper (even allowing for courier) than anyone else incl in-store at PB Tech or JayCar.