Lol, as of a couple months ago it looked like the Seminole was still in their possession. Apparently I'm wrong!