Seems like a reasonable paint quote to me. I'd want the walls/ceilings patched and sanded where necesary, 2 coats of reasonable quality paint as well.
I usually paint my IP myself and only costs about $250 (cheap Bunnings paint). White ceiling and off white walls is the norm for me.
Carpet...