Here is my spreadsheet updated with today's big news. As I have suggested in other posts, the buyback will probably continue for a while before the company seeks delisting.