Ordered, not purchased. After hunting around a bit it seems that the best deal to be found was over at Costco, at $82.99. Of course, they don’t have what I need in stock, but say that they can get it in 2-3 weeks which should be acceptable. We have a few more weeks of relative warmth around STL, so I should have it just in time before winter hits.