Did anybody notice what the Milwaukee 800 sold for?