I know your looking for New in the box but I saw this today, it looks pretty clean by the pics,
https://southjersey.craigslist.org/bik/7156088700.html
There have been a few used 412 models listed lately but most are pretty pricey, but all seem to sell.
Its not new old stock but it looks decent. The early Treks have been getting higher and higher lately, especially since the latest issues everyone is dealing with.
The newer aluminum and carbon frame bikes don't seem to be garnering the same attention.
Maybe people are just looking for American made again. Or maybe its just anything that's not from China, but bikes like your after have gotten hot again and this many years down the line, those early models are pretty scarce, especially in nice condition.