Congrats on finding such a great deal!
And thanks for the tip: just tried that myself. It indeed helps.
Dmitri Jul 18, ‘23