Seems like a good deal, based on the retail cost of the mic.
I don't have any personal experience with the AT 3035. The higher end Audio-Technica mics (such as the 4050) seem to be generally praised on all of the recording forums that I read, so it's lower end brother should be acceptable.
What are you going to record with it?