old WMID station warehouse auction

This is more of a question, than a statement. WMID Atlantic City radio station started in 1947 has been sold , and their warehouse is being cleaned out or auctioned off. My question here is, does anybody know of this and when it’s going to happen? Mike Rosen Sent from: My extremely complicated, hand held electronic device.