We ended up pulling the trigger on an 800 series Bosch that was in stock and on a good sale. Bosches don't seem any more expensive than other brands around here; lots of options from $650-800 or so. Install tomorrow, and I will report back.

bibere usque ad hilaritatem