Well, crud. I did a search too. Maybe I typo'ed the name.
I find the search feature on BGG to be worthless. It never seems to work for me... returns a few dozen results -- all from the same thread -- and never the post that I'm looking for. I wonder if a Google search would work better. I'll give that a try next time...
Also, the "Search Forum" field appears to do absolutely nothing. If I specify the Hot Deals forum, I get results from every forum. Frustrating.