I would rather see option #1. I have some concerns about how option #2 works. If someone DCs they don't get booted from the party right away. So what happens, do you have to remove them manually from the party or once they leave does it open up? The downside of #2 is that the party of 3 can't finish and set a record. I know this is kind of silly but it does happen. One time 3 of us set a rec without the 4th because the 4th left the map at the boss. Then we spent the next 1-2 hours trying to break our own rec. Generally speaking we don't try to set the rec when someone disconnects but it does happen occasionally. I am fine with options 1 or 2, I am mostly concerned about the usability and potential edge cases that arise from option 2. Because we already have problems with the party system locking maps for various reasons.