@BeAware I definitely paid more than I needed to. I didn’t even check Amazon before checking eBay, as I reflexively avoid Amazon whenever possible. eBay has other listings at similar prices, though, and the seller had a good rating. What a weird racket.