Does anyone have any experience with this mic? I am on a severe budget and I am just wondering what mic to go for.

It's between,

AT2035
MXL9000
GXL3000

Have at it :)