Woocommerce Booking Bugfix

We use the Woocommerce Booking Extension with Woocommerce in a Wordpress website. It's a website for a hotel. So, the booking extension has a feature to make resources for a product. We have 3 products. The products, a roomtype, has a couple of resources, the actual rooms with their roomnumbers. When a customer chooses a room, they will be assigned automatically an available resource. This works almost perfectly. Here's the bug: When a customer adds a room to the cart it automatically gets a resource assigned. Everything's fine till now... When the customer adds the same roomtype again, it happens that most of the time the same roomnumber is provided, due the fact that the previous added resource isn't blocked. And also the customer can add unlimted amount of this roomtype, it won't get blocked in the calendar on the productpage, also due the fact that the previous added resource isn't blocked. The resource is only blocked for the choosen period if the booking is actually completed and payed. So ideally when the resource is added to the shoppingcart, this resource should be blocked for the choosen dates and it should be blocked on the calendar on the product page if there are no resources left. So this resource is not available for the customer if he's going to shop for another room. And the resource should also be blocked for other customers if someone has it in their shoppingcart. The resource should be free again after x minutes or when the customer leaves the session. This is a known bug by Woocommerce, but they don't know when it will be fixed. So anybody who can fix this bug? Would be great if you can write it in a plugin. If this is not possible we have to modify the corefiles of the Booking plugin maybe.