That sounds a bit high. My dealer sells the big battery for ~$190.00 and the little one for ~$200.00. Figure 1.5 hours labor and it's still less than $600.