Idono if its just me, but that sounds like a lot imo.
My friend just got his teg painted championship white for $560 (I think 4 coats of white and 3 clear or something like that) they sanded and masked it too. It looked good and for another $100 they could have put some kind of "glass coat" on.