That looks about right on average, but it all depends.
Just consider that the maintence can be a lot less if you DIY or a lot more if you have a RMS failure. Also your gas depends on the driving, if your doing 4k miles a year and it is all city your going to get about 16-18mph if it is all freeway your going to get 25MPH+.
