Well, after going through quite a few data sheets I ordered some LM6142's. Turns out, the hardest feature to get, anymore, is the 8-pin dip footprint. Making stuff at home is only going to get more difficult, apparently. But Digikey still had some 8pin dip versions in stock...