It's probably somewhere in that range though. A friend of mine bought one new and is having it delivered tomorrow. I can't say for sure how much it was, but I know it's around $250k at least.