jfc... what's their labor rate $250 an hour?
did those numbers include other work or just install?
****... at that price you could drive your car to me, catch a flight home and then catch a flight back when it's done and cruise back and it'd still probably be cheaper!