$800 for installation is a LOT of money. It's a 4 hour job for someone who knows how to do them... They charged you $200 an hour for labor!
My mechanic quoted me $450... but he's not a certified GAHH approved installer for that warranty. Let's hope your installer was GAHH certified for that price so it will have the full replacement warranty attached to it.