Now that it has been confirmed who the bidders are for TRMP, can one make money buying it here? All the buyouts I've seen happen at a premium which would indicate TRMP will be taken out well north of 16.