They are around $600, but I got mine off of ebay cheaper.
Sounds like you got a work horse of a mixer! HEHE....I am like a kid with a new toy with mine! Congrats and hope you enjoy it!
gosh, I can't wait till I can finally go buy my first one. Just a little bit longer, the kids come first.