In the "for sale" room, someone was selling a little Marantz 2220B that was in good shape. Does anyine know who was selling that? My friend wants to purchase it. Thanks!