That sounds about right. Our coach came with the awning installed but it's price at several internet rv parts sites is $1400 which is pretty close to it's cost stated on the accesory list at delivery.
We all know that mechanics make more than nuclear physicists now...........