I don't know what LiDAR says, but this summit might be ranked now:
https://www.listsofjohn.com/peak/24376
The Great Salt Lake would have to drop below 4192 to make this a ranked peak and it has (unfortunately) been that low for a while now:
http://greatsalt.uslakes.info/Level.asp
This is an interesting one since its ranked status could vary by month. It seems unlikely that the peak will become unranked anytime soon unless the drought is gone.