No, after the last notification, they put it in ocean cruising books...in $20 bills. I was thumbing through a Bahamas Cruising Guide that was left by the previous owners, from about 9 years ago, and two $20 bills fell out. Oddly, I've thumbed through that book often in the past 3 years and never came across this. I put it in the diesel kitty. It will buy me about an hour of fuel burn!
And I bought a lottery ticket! LOL If I win, I'll let you know how that turns out. LOL