I’m thinking just before 10pm. Some early dealing but there doesn’t seem to be a lot of separation between the players left in terms of value so the trades have dried up for a bit. Maybe it picks up later but for now looks like about 7.5 minutes per pick.